Начало
Написать письмо
Публикуем!
Персона Кондратьев Дмитрий Александрович
Работа
Участие
Участие VeHa - соревнования по формальной верификации программ организатор соревнования VeHa-2024 и VeHa-2025.
Расположение
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0327
2021июн30, Новосибирск
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, Новосибирск, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0508
2025ноя18, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0509
2025ноя18, Новосибирск