|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Architecture of a Machine Code Deductive Verification Systemстатья Электронная публикация
- Авторы: Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel, Gladyshev Ilya
- Сборник: Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)
- Год издания: 2020
- Добавил в систему: Корныхин Евгений Валерьевич