KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo

Introduction to Milestones in Interactive Theorem Proving

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



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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page