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, Новосибирск, Новосибирск
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, Новосибирск
(c) Фотоархив Сибирского отделения Российской академии наук