|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016сборник
- Год издания: 2016
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2016 On-the-fly decomposition of specifications in software model checking
- Apel Sven, Beyer Dirk, Mordan Vitaly, Mutilin Vadim, Stahlbauer Andreas
- в сборнике Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, с. 349-361 DOI