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