Complete Contracts through Specification Drivers › Обзор исследований

Язык оригинала	английский
Страницы	160-167
DOI	https://doi.org/10.1109/TASE.2016.13
Состояние	Опубликовано - июл. 2016
Событие	2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China Продолжительность: 17 июл. 2016 → 19 июл. 2016

Конференция	2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
Период	17.07.2016 → 19.07.2016

ID: 65525568