Начало
Написать письмо
Публикуем!
Организационная система VeHa-2023: первые в России соревнования по формальной верификации программ
Участники
Расположение
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0427
2024фев15, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0428
2024фев15, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0429
2024фев15, Новосибирск