Peter V. Homeier
发表
Trustworthy Tools for Trustworthy Programs: A Mechanically Verified Verification Condition Generator
Peter V. Homeier,
1995
.
Peter V. Homeier,
2009,
TPHOLs.
Peter V. Homeier,
David F. Martin,
1996,
CADE.
Peter V. Homeier,
David F. Martin,
1994,
TPHOLs.
Peter V. Homeier,
David F. Martin,
1998,
TPHOLs.
Peter V. Homeier,
Thach C. Le,
T. C. Le,
1991
.
Peter V. Homeier,
2005,
TPHOLs.
Peter V. Homeier,
Thach C. Le,
1988
.
Peter V. Homeier,
David F. Martin,
2003,
Inf. Comput..
Peter V. Homeier,
David F. Martin,
1995,
Comput. J..
Carl A. Gunter,
Peter V. Homeier,
S. Nettles,
1997
.
Peter V. Homeier,
2001
.
Peter V. Homeier,
.
Peter V. Homeier,
2001
.
Carl A. Gunter,
Peter V. Homeier,
S. Nettles,
1997
.
Peter V. Homeier,
1996
.
Peter V. Homeier,
2007
.