Заседание № 954


15 февраля 2022
Время: 14.30


Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391, Код доступа: i7f1Xv

Д.А. Кондратьев
«На пути к дедуктивной верификации C-программ, расширенных конструкциями языка Cloud Sisal»