Matthew Wilding
发表
Ashley M Buckle,
Matthew Wilding,
Nansook Hong,
2019,
Biochemical Society transactions.
Matthew Wilding,
M. Wilding,
1995
.
Matthew Wilding,
M. Wilding,
1993,
CAV.
Matthew Wilding,
M. Wilding,
1990
.
Matthew Wilding,
Raymond J. Richards,
David S. Hardin,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Matthew Wilding,
David S. Hardin,
David A. Greve,
2001,
Formal Methods Syst. Des..
Matthew Wilding,
David S. Hardin,
David A. Greve,
2000
.
Matthew Wilding,
2000,
ACL 2000.
Matthew Wilding,
J. Roach,
1985,
CAIA.
Matthew Wilding,
David S. Hardin,
David A. Greve,
1998,
CAV.
John R. Cowles,
Matthew Wilding,
David A. Greve,
1999
.
Matthew Wilding,
M. Wilding,
1991,
Journal of Automated Reasoning.
Panagiotis Manolios,
Matthew Wilding,
2006,
ACL 2006.
Mark Bickford,
David Guaspari,
Matthew Wilding,
2000
.
Panagiotis Manolios,
Matthew Wilding,
2006,
ACL2.
Matthew Wilding,
David A. Greve,
2003,
ACL 2003.
Matthew Wilding,
M. Wilding,
1997
.
Matthew Wilding,
David A. Greve,
2003
.
Matthew Wilding,
M. Wilding,
1998,
CAV.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
Matthew Wilding,
Ro kwell Collins,
2003
.
Matthew Wilding,
David Greve,
2002
.