The Isabelle Collections Framework
Lammich Peter, Lochbihler Andreas
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Kaufmann Matt, Paulson Lawrence C.
Book title: Interactive Theorem Proving (Volume 6172)
Page range: 339-354
Publisher: Springer
Title of series: Lecture Notes in Computer Science
Volume of series: 6172
Status: Published
Release year: 2010
Language in which the publication is written: English
Conference: ITP 2010, Edinburgh, UK
ISBN: 978-3-642-14051-8
Link to the full text: http://dx.doi.org/10.1007/978-3-642-14052-5_24
Authors from the University of Münster
| Lammich, Peter |