D. Greve
发表
D. Greve,
R. Richards,
M. Wilding,
2004
.
Torben Amtoft,
John Hatcliff,
Robby,
2008,
World Congress on Formal Methods.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
Steven H. VanderLeest,
Paul Skentzos,
David Greve,
2013,
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC).
Andrew Gacek,
David Greve,
Lucas G. Wagner,
2017,
SPIN.
Matthew Wilding,
David S. Hardin,
David A. Greve,
2001,
Formal Methods Syst. Des..
John R. Cowles,
Matthew Wilding,
David A. Greve,
1999
.
David Greve,
D. Greve,
ModelsMatthew Wilding,
1998
.
D. Greve,
P. Manolios,
A. Walter,
2022,
Formal Methods in Computer-Aided Design.
Andrew Gacek,
David Greve,
D. Greve,
2018,
ACL2.
Torben Amtoft,
John Hatcliff,
Robby,
2008,
FM.
D.S. Hardin,
M.M. Wilding,
D.A. Greve,
1999,
Dependable Computing for Critical Applications 7.
Michael W. Whalen,
David A. Greve,
Lucas G. Wagner,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
David A. Greve,
D. Greve,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.