The Isabelle Collections Framework
Lammich Peter, Lochbihler Andreas
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Kaufmann Matt, Paulson Lawrence C.
Buchtitel: Interactive Theorem Proving (Band 6172)
Seitenbereich: 339-354
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 6172
Status: Veröffentlicht
Veröffentlichungsjahr: 2010
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ITP 2010, Edinburgh, UK, undefined
ISBN: 978-3-642-14051-8
Link zum Volltext: http://dx.doi.org/10.1007/978-3-642-14052-5_24
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |