KIT | KIT-Bibliothek | Impressum | Datenschutz

Introduction to Milestones in Interactive Theorem Proving

Avigad, Jeremy; Blanchette, Jasmin Christian; Klein, Gerwin; Paulson, Lawrence; Popescu, Andrei; Snelting, Gregor

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1007/s10817-018-9465-5
Scopus
Zitationen: 1
Web of Science
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2018
Sprache Englisch
Identifikator ISSN: 0168-7433, 1573-0670
KITopen-ID: 1000083461
Erschienen in Journal of automated reasoning
Band 61
Heft 1-4
Seiten 1–8
Vorab online veröffentlicht am 11.05.2018
Nachgewiesen in Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page