Interactive Theorem Proving

Jasmin Christian Blanchette; Stephan Merz

doi:10.1007/978-3-319-43144-4

Ouvrages Année : 2016

Interactive Theorem Proving

(1, 2, 3) , (2, 3)

1
2
3

Jasmin Christian Blanchette

Fonction : Directeur scientifique
PersonId : 1017323
ORCID : 0000-0002-8367-0936

Max-Planck-Institut für Informatik

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

Stephan Merz

Fonction : Directeur scientifique
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

Domaines

Logique en informatique [cs.LO]

Stephan Merz : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01356464

Soumis le : jeudi 25 août 2016-17:32:24

Dernière modification le : lundi 11 septembre 2023-17:41:18

Dates et versions

hal-01356464 , version 1 (25-08-2016)

Identifiants

HAL Id : hal-01356464 , version 1
DOI : 10.1007/978-3-319-43144-4

Citer

Jasmin Christian Blanchette, Stephan Merz (Dir.). Interactive Theorem Proving: 7th International Conference, ITP 2016. Springer, 9807, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩. ⟨hal-01356464⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

77 Consultations

0 Téléchargements

Interactive Theorem Proving

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager