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