Материалы курса

File:

why3coqdecl.pdf

Date:

Thursday, March 26, 2020

Category:

Языки спецификаций и методы автоматического доказательства в системах Why3 и Coq