Д. А. Кондратьев
«Обзор языков спецификаций, применимых для аннотирования Cloud Sisal программ»
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09 Идентификатор конференции Zoom: 955 7282 7842
Код доступа: 323330