Imperative functional programming with isabelle/hol (2008)

by Lukas Bulwahn , Er Krauss , Florian Haftmann , Levent Erkök , John Matthews , Technische Universität München
Venue:In TPHOLs ’08: Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Citations:12 - 2 self