J. Grundy
发表
Jim Grundy,
J. Grundy,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
J. V. Wright,
M. Gordon,
J. Grundy,
2013
.
J. Grundy,
1996
.
Jennifer Gillenwater,
J. Grundy,
G. Malecha,
2007
.
J. Grundy,
2013,
2013 Formal Methods in Computer-Aided Design.
Richard J. Boulton,
Tobias Nipkow,
Alan Bundy,
2003,
Lecture Notes in Computer Science.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2011,
High. Order Symb. Comput..
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2009,
PEPM '09.
Jim Grundy,
Thomas F. Melham,
John W. O'Leary,
2005,
Journal of Functional Programming.
Jim Grundy,
J. Grundy,
1993,
Formal Methods in Programming and Their Applications.
Jim Grundy,
Thomas Långbacka,
J. Grundy,
1997,
AMAST.
Ralph-Johan Back,
Jim Grundy,
Joakim von Wright,
1996,
Formal Aspects of Computing.
Jim Grundy,
J. Grundy,
1996
.
Jim Grundy,
J. Grundy,
1996,
Comput. J..
Jim Grundy,
J. Grundy,
1992,
Refine.
Daniel Kroening,
Jim Grundy,
Thomas F. Melham,
2013,
2013 Formal Methods in Computer-Aided Design.
Cesare Tinelli,
Jim Grundy,
Alexander Fuchs,
2009,
TACAS.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2010,
New Generation Computing.