Recycling Proof Patterns in Coq: Case Studies

Mathematics in Computer Science 2014 / 03 Vol. 8; Iss. 1

Recycling Proof Patterns in Coq: Case Studies

Heras, Jónathan, Komendantskaya, Ekaterina
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
8
Langue:
english
Journal:
Mathematics in Computer Science
DOI:
10.1007/s11786-014-0173-1
Date:
March, 2014
Fichier:
PDF, 1.19 MB
english, 2014
La conversion en est effectuée
La conversion en a échoué