О начале курсов

В весеннем семестре 2015/2016 года на факультете ВМК МГУ имени М.В. Ломоносова начинается ежегодное чтение курсов по формальной спецификации программ и дедуктивной верификации программ для магистров 1 года.