| |
| * | 2009 | |
|---|---|---|
| 7 | EE | Peter V. Homeier: The HOL-Omega Logic. TPHOLs 2009: 244-259 |
| 2005 | ||
| 6 | EE | Peter V. Homeier: A Design Structure for Higher Order Quotients. TPHOLs 2005: 130-146 |
| 2003 | ||
| 5 | EE | Peter V. Homeier, David F. Martin: Secure mechanical verification of mutually recursive procedures. Inf. Comput. 187(1): 1-19 (2003) |
| 1998 | ||
| 4 | EE | Peter V. Homeier, David F. Martin: Mechanical Verification of Total Correctness through Diversion Verification Conditions. TPHOLs 1998: 189-206 |
| 1996 | ||
| 3 | EE | Peter V. Homeier, David F. Martin: Mechanical Verification of Mutually Recursive Procedures. CADE 1996: 201-215 |
| 1995 | ||
| 2 | Peter V. Homeier, David F. Martin: A Mechanically Verified Verification Condition Generator. Comput. J. 38(2): 131-141 (1995) | |
| 1994 | ||
| 1 | EE | Peter V. Homeier, David F. Martin: Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. TPHOLs 1994: 269-284 |
| 1 | David F. Martin | [1] [2] [3] [4] [5] |