Заседание № 955

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