Полугодовой спецкурс "Методы верификации программ" будет проходить по средам в 10:50, в ауд. 5207 НГУ.
Лектор: к.ф.-м.н. Марьясов И.В.

Первая лекция состоится 20 февраля 2019 года.