Сергей Яхонтов – Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные [...]