Полугодовой спецкурс "Методы верификации программ" будет проходить по средам в 09:00, в семинарской комнате ИСИ СО РАН (к.254).
Лектор: к.ф.-м.н. Марьясов И.В.

Первая лекция состоится 11 сентября 2019 года.