Jim Grundy

发表

Michael S. Hsiao, Sarvesh Prabhu, Saparya Krishnamoorthy, 2011, 2011 Asian Test Symposium.
Jim Grundy, Cherif Salama, Gregory Malecha, 2011, High. Order Symb. Comput..
Jim Grundy, Martin Schwenke, Trevor Vickers, 1998 .
Jim Grundy, 2013, 2013 Formal Methods in Computer-Aided Design.
Jim Grundy, J. Grundy, 1996 .
Jim Grundy, Thomas F. Melham, John W. O'Leary, 2005, Journal of Functional Programming.
Ralph-Johan Back, Jim Grundy, Joakim von Wright, 1996, Formal Aspects of Computing.
Jim Grundy, J. Grundy, 1992, Refine.
Daniel Kroening, Jim Grundy, Thomas F. Melham, 2013, 2013 Formal Methods in Computer-Aided Design.
Jim Grundy, J. Grundy, 1993, Formal Methods in Programming and Their Applications.
Jim Grundy, Michael Butler, Thomas Långbacka, 1997 .
Jim Grundy, Cherif Salama, Gregory Malecha, 2010, New Generation Computing.
Jim Grundy, 2013, 2013 Formal Methods in Computer-Aided Design.
Cesare Tinelli, Jim Grundy, Alexander Fuchs, 2009, TACAS.
Cesare Tinelli, Jim Grundy, Amit Goel, 2007, TACAS.
Jim Grundy, Sava Krstic, Thomas F. Melham, 2006, Electron. Notes Theor. Comput. Sci..
Jim Grundy, J. Grundy, 1996, Comput. J..
Jim Grundy, 1991 .
Jim Grundy, Thomas Långbacka, J. Grundy, 1997, AMAST.
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Jim Grundy, 1993, Formal Methods in Programming and Their Applications.
Jim Grundy, J. Grundy, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Jim Grundy, Thomas L ngbacka, 1996 .