Using HOL to study Sugar 2.0 semantics (2002)

by Michael J. C. Gordon
Venue:Track B Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs2002, volume CP-2002-211736 of NASA Conference Proceedings
Citations:5 - 2 self