J. Harrison

发表

John Harrison, J. Harrison, 1996, TPHOLs.
John Harrison, J. Harrison, 1996, FMCAD.
John Harrison, Rob Arthan, Robert Solovay, 2009, Ann. Pure Appl. Log..
J. Harrison, 1996 .
J. van Leeuwen, Jan van Leeuwen, John Harrison, 2000, Lecture Notes in Computer Science.
J. Harrison, 2015, Journal of Automated Reasoning.
John Robert Harrison, J. Harrison, 1998, CPHC/BCS distinguished dissertations.
John Harrison, J. Harrison, 1992, Formal Methods Syst. Des..
J. Harrison, Christoph Quirin Lauter, Mioara Joldes, 2011, Theor. Comput. Sci..
John Harrison, J. Harrison, 2009, TPHOLs.
John Harrison, J. Harrison, 2007, AB.
John Harrison, J. Harrison, 2006, IJCAR.
John Harrison, J. Harrison, 1998, TPHOLs.
John Harrison, J. Harrison, 2007, TPHOLs.
Jeremy Avigad, John Harrison, J. Harrison, 2014, Commun. ACM.
John Harrison, Laurent Théry, J. Harrison, 1998, Journal of Automated Reasoning.
J. Harrison, 1996 .
John Harrison, J. Harrison, 2011, Software and Systems Safety - Specification and Verification.
Tobias Nipkow, John Harrison, Thomas C. Hales, 2009, Discret. Comput. Geom..
John Harrison, J. Harrison, 2000 .
John Harrison, J. Harrison, 1998, TPHOLs.
John Harrison, J. Harrison, 1995 .
John Harrison, J. Harrison, 1997, Formal Methods Syst. Des..
John Harrison, J. Harrison, John Harrison, 2009 .
John Harrison, J. Harrison, 2015 .
John Harrison, J. Harrison, 1996, TYPES.
John Harrison, J. Harrison, 1996, TPHOLs.
John Harrison, J. Harrison, 1999, TPHOLs.
John Harrison, Sean McLaughlin, J. Harrison, 2005, CADE.
Richard J. Boulton, John Herbert, Andrew D. Gordon, 1992, TPCD.
John Harrison, J. Harrison, 1996, CADE.
John Harrison, J. Harrison, 2005, J. Univers. Comput. Sci..
Christoph Benzmüller, John Harrison, Carsten Schürmann, 2006, ArXiv.
John Harrison, Christoph Benzm, J. Harrison, 2005 .
John Harrison, J. Harrison, 1994, Comput. J..
John Harrison, J. Harrison, 2012, Journal of Automated Reasoning.
John Harrison, J. Harrison, 2008 .
John Harrison, J. Harrison, 2009, TPHOLs.
John Harrison, J. Harrison, 2006, SFM.
John Harrison, J. Harrison, 1994, Theor. Comput. Sci..
John Harrison, J. Harrison, 2008, CAV.
John Harrison, J. Harrison, 2005, TPHOLs.
John Harrison, J. Harrison, 2010, J. Formaliz. Reason..
John Harrison, J. Harrison, 2009, Journal of Automated Reasoning.
John Harrison, Ping Tak Peter Tang, Marius Cornea, 2003, WCAE '03.
J. Harrison, 2000 .
John Harrison, J. Harrison, 1995, TPHOLs.
John Harrison, J. Harrison, 2000, TPHOLs.
John Harrison, J. Harrison, 2015, Journal of Automated Reasoning.
T. Nipkow, T. Hales, J. Harrison, 2009, Discret. Comput. Geom..