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

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