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
Document type :
Directions of work or proceedings
Liste complète des métadonnées

https://hal.inria.fr/hal-01356464
Contributor : Stephan Merz <>
Submitted on : Thursday, August 25, 2016 - 5:32:24 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Identifiers

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⟩

Share

Metrics

Record views

142