Naumchev, A.,
19 мар. 2019,
Detection of Inconsistent Contracts Through Modular Verification. стр. 206-220 19. (Proceedings of 6th International Conference in Software Engineering for Defence Applications; том 925).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование