Черненко И.М.Генератор скриптов доказательства условий корректности poST-программ
К списку докладов |
XXVI ВСЕРОССИЙСКАЯ КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЁНЫХ ПО МАТЕМАТИЧЕСКОМУ МОДЕЛИРОВАНИЮ И ИНФОРМАЦИОННЫМ ТЕХНОЛОГИЯМ
Новосибирск, 10 - 14 ноября 2025 г.
© 1996-2025, ФИЦ ИВТ, Новосибирск