Доцент В.А. Непомнящий начинает читать полугодовой спецкурс "Методы верификации программ".

Лекции будут проходить по вторникам в 10:45 в семинарской комнате ИСИ СО РАН (к. 254).
Первая лекция состоится 23 сентября.