Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Detection of Inconsistent Contracts Through Modular Verification |
| Страницы | 206-220 |
| DOI | |
| Состояние | Опубликовано - 19 мар. 2019 |
| Название | Proceedings of 6th International Conference in Software Engineering for Defence Applications |
|---|---|
| Том | 925 |
| ISSN (печатное издание) | 2194-5357 |
| ISSN (электронное издание) | 2194-5365 |
ID: 65525948