Skip to main content
Institute
Publications
Conferences
Education
Contacts
Материалы курса
Search
Mail
Home
russian
Материалы курса
File:
why3coqdecl.pdf
Date:
Thursday, March 26, 2020
Category:
Языки спецификаций и методы автоматического доказательства в системах Why3 и Coq