A code generator framework for Isabelle/HOL (2007)

by Florian Haftmann , Tobias Nipkow
Venue:Department of Computer Science, University of Kaiserslautern
Citations:10 - 4 self