Items where Author / Artist / Editor is "Schropp, Andreas"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

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)

This list was generated on Mon Oct 26 05:32:13 2020 GMT.