M. Wilding
发表
D. Greve,
R. Richards,
M. Wilding,
2004
.
M. Wilding,
1993
.
Matthew Wilding,
M. Wilding,
1993,
CAV.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
Matt Kaufmann,
Matt Wilding,
Matt Kaufmann,
1989
.
Matthew Wilding,
David S. Hardin,
David A. Greve,
2001,
Formal Methods Syst. Des..
Matthew Wilding,
M. Wilding,
1998,
CAV.
Matthew Wilding,
M. Wilding,
1995
.
Matthew Wilding,
M. Wilding,
1991,
Journal of Automated Reasoning.
John R. Cowles,
Matthew Wilding,
David A. Greve,
1999
.
Matthew Wilding,
M. Wilding,
1997
.
M. Wilding,
1993
.
Matthew Wilding,
M. Wilding,
1990
.
D.S. Hardin,
M.M. Wilding,
D.A. Greve,
1999,
Dependable Computing for Critical Applications 7.