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