|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Деятельность
-
Статьи в журналах
-
- 2022 ПРИЕМЫ ДЕДУКТИВНОЙ ВЕРИ ФИКАЦИИ ПРОГРАММНОГО КОДА С ИСПОЛЬЗОВАНИЕМ ASTRAVER TOOLSET
- Кокорин Артем Олегович, Тиевский Станислав Дмитриевич, Девянин Петр Николаевич
- в журнале Прикладная дискретная математика. Приложение, издательство Изд-во ТГУ (Томск), № 15, с. 80-90
-