15 февраля 2022
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391, Код доступа: i7f1Xv
Д.А. Кондратьев
«На пути к дедуктивной верификации C-программ, расширенных конструкциями языка Cloud Sisal»