Interactive Theorem Proving: 7th International Conference, ITP 2016

Jasmin Christian Blanchette 1, 2 Stephan Merz 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-43144-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01356464
Contributeur : Stephan Merz <>
Soumis le : jeudi 25 août 2016 - 17:32:24
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

Collections

Citation

Jasmin Christian Blanchette, Stephan Merz. Interactive Theorem Proving: 7th International Conference, ITP 2016. Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-43144-4〉. 〈hal-01356464〉

Partager

Métriques

Consultations de la notice

136