Заседание № 941


Объединенный семинар ИСИ СО РАН и НГУ
"Конструирование и оптимизация программ"
(проводится с 1979 года)
Руководитель - проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

                       
23 марта 2021
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794
Код доступа: 150471
Д.А. Кондратьев
На пути к дедуктивной верификации C-программ,расширенных циклами языка Cloud Sisal