| имя: | пароль: | |||
| регистрация | забыли пароль? | ||||
VeHa-2023: первые в России соревнования по формальной верификации программ
| 2024фев15, Новосибирск |
| 2024фев15, Новосибирск |
| 2024фев15, Новосибирск |
|
| |||||||||||
| ||||||||||||
VeHa-2023: первые в России соревнования по формальной верификации программ
| ||||||||||||
| (c) Фотоархив Сибирского отделения Российской академии наук | ||||||||||||