A Logic for the Java Modeling Language JML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Mechanising Hankin and Barendregt using the Gordon-Melham axioms
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
Hi-index | 0.00 |
This volume is the supplemental proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000) held in Portland, Oregon, USA during August 14-18, 2000.