Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Сергей Яхонтов
Обложка: