👤 С. В. Яхонтов

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие С. В. Яхонтов