 | 2009 |
|---|
| 7 |       | Peter V. Homeier:
The HOL-Omega Logic.
TPHOLs 2009: 244-259 |
| 2005 |
|---|
| 6 | | Peter V. Homeier:
A Design Structure for Higher Order Quotients.
TPHOLs 2005: 130-146 |
| 2003 |
|---|
| 5 | | Peter V. Homeier,
David F. Martin:
Secure mechanical verification of mutually recursive procedures.
Inf. Comput. 187(1): 1-19 (2003) |
| 1998 |
|---|
| 4 | | Peter V. Homeier,
David F. Martin:
Mechanical Verification of Total Correctness through Diversion Verification Conditions.
TPHOLs 1998: 189-206 |
| 1996 |
|---|
| 3 | | 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 | | Peter V. Homeier,
David F. Martin:
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.
TPHOLs 1994: 269-284 |
