Items where Author / Artist / Editor is "Schropp, Andreas"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Schropp, Andreas and Popescu, Andrei (2013) Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. Certified Programs and Proofs: third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceeding. In: Certified Programs and Proofs (CPP), 11-13 Dec 2013, Melbourne, Australia. ISBN 9783319035444. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-03545-1_8)