| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
|
|||
|
|
|||
|
Соревнование по формальной верификации программ VeHa-2024: два года большого пути D. A. Kondrat'ev Novosibirsk State University |
|||
|
Website: https://persons.iis.nsk.su/en/STEP-2024 |
|||