Примеры с лекций можно скачать из github: https://github.com/kornevgen/floyd/tree/master/lectures/examples/acsl
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Примеры с лекций можно скачать из github: https://github.com/kornevgen/floyd/tree/master/lectures/examples/acsl