M. Gordon
发表
M. Gordon,
1988
.
M. Gordon,
T. Melham,
1993
.
M. Gordon,
2002
.
M. Gordon,
J. Hurd,
Joe Hurd,
2007
.
Robin Milner,
Michael J. C. Gordon,
Christopher P. Wadsworth,
1979,
Lecture Notes in Computer Science.
Michael J. C. Gordon,
M. Gordon,
1988
.
R. Milner,
M. Gordon,
J. Goguen,
1994
.
D. E. Long,
N. Shankar,
M. Gordon,
2022
.
M. Gordon,
2022
.
Michael J. C. Gordon,
M. Gordon,
1979,
Springer New York.
Michael J. C. Gordon,
M. Gordon,
1980,
Inf. Process. Lett..
Michael J. C. Gordon,
M. Gordon,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Michael J. C. Gordon,
M. Gordon,
1979
.
Michael J. C. Gordon,
M. Gordon,
1985
.
Konrad Slind,
Magnus O. Myreen,
Michael J. C. Gordon,
2008,
2008 Formal Methods in Computer-Aided Design.
Michael J. C. Gordon,
M. Gordon,
1989
.
M. Gordon,
1988
.
Klaus Schneider,
Michael J. C. Gordon,
Thomas Tuerk,
2006,
Haifa Verification Conference.
Michael J. C. Gordon,
M. Gordon,
2000,
TPHOLs.
Richard J. Boulton,
Michael Norrish,
Konrad Slind,
2000,
TACAS.
Michael J. C. Gordon,
M. Gordon,
2000,
High. Order Symb. Comput..
Michael J. C. Gordon,
M. Gordon,
2000,
Proof, Language, and Interaction.
Robin Milner,
Michael J. C. Gordon,
David N. Turner,
1978,
POPL.
Michael J. C. Gordon,
M. Gordon,
2002
.
J. Herbert,
M.J.C. Gordon,
M. Gordon,
1986
.
Michael J. C. Gordon,
M. Gordon,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Richard J. Boulton,
John Herbert,
Andrew D. Gordon,
1992,
TPCD.
Michael J. C. Gordon,
M. Gordon,
1996,
TPHOLs.
Sten Agerholm,
Michael J. C. Gordon,
M. Gordon,
1995,
TPHOLs.
Michael J. C. Gordon,
M. Gordon,
1994
.
Michael J. C. Gordon,
M. Gordon,
2003,
Formal Aspects of Computing.
Richard J. Boulton,
Alan Bundy,
Konrad Slind,
1998,
TPHOLs.
R. Milner,
M. Gordon,
S. Allen,
1996
.
Michael J. C. Gordon,
M. Gordon,
1973
.
Robin Milner,
Michael J. C. Gordon,
Christopher P. Wadsworth,
1978
.
Michael J. C. Gordon,
M. Gordon,
1979
.
Konrad Slind,
Michael J. C. Gordon,
Scott Owens,
2007,
Formal Aspects of Computing.
Konrad Slind,
Magnus O. Myreen,
Michael J. C. Gordon,
2009,
CC.
Michael J. C. Gordon,
M. Gordon,
1975
.
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
2006 Formal Methods in Computer Aided Design.
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
ACL2 '06.
M. Gordon,
2022
.
Michael J. C. Gordon,
M. Gordon,
2002,
Comput. J..