Вся информация о курсе "Формальная спецификация и верификация программ" в 2013 году расположена на этой странице.