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 1
1 Karlsruher Institut für Technologie (KIT)


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