|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Leveraging Applications of Formal Methods, Verification and Validation. Verificationсборник
- Год издания: 2018
- Место издания: Springer International Publishing
- Добавил в систему: Хорошилов Алексей Владимирович
Статьи, опубликованные в сборнике
-
- 2018 Deductive Verification of Unmodified Linux Kernel Library Functions
- Efremov Denis, Mandrykin Mikhail, Khoroshilov Alexey
- в сборнике Leveraging Applications of Formal Methods, Verification and Validation. Verification, место издания Springer International Publishing, с. 216-234 DOI