Начало
Написать письмо
Публикуем!
Организационная система VeHa - соревнования по формальной верификации программ
Участники
Расположение
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, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0040
2024окт21, Новосибирск, Новосибирск