Matita Tutorial

Autor: Asperti, A., Ricciotti, W., Coen, C. S.

Publikováno v: Journal of Formalized Reasoning, Vol 7, Iss 2, Pp 91-199 (2014)
Asperti, A, Ricciotti, W & Coen, C S 2014, ' Matita Tutorial ', Journal of Formalized Reasoning, vol. 7, no. 2, pp. 91-199 . https://doi.org/10.6092/issn.1972-5787/4651
Scopus-Elsevier

This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.
Journa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8ef056cd5dbaaf4e01b7b4441d1aa04
http://hdl.handle.net/11585/428166

Spurious disambiguation error detection

Autor: Coen, C. S., Stefano Zacchiroli

Publikováno v: Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::44142a4445d38689fff0bdf446f43836
http://www.scopus.com/inward/record.url?eid=2-s2.0-38049064883&partnerID=MN8TOARS