W. Hunt
发表
J. Strother Moore,
Warren A. Hunt,
J. S. Moore,
1989,
Journal of Automated Reasoning.
W. Hunt,
B. Brock,
1992,
Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
Sol Swords,
Warren A. Hunt,
W. Hunt,
2010,
ITP.
W. Hunt,
D. Rager,
2009
.
Yanhong A. Liu,
W. Hunt,
S. D. Johnson,
2007
.
W. Hunt,
S. Swords,
A. Slobodová,
2011
.
W. Hunt,
C. Sawada,
2007
.
W. Hunt,
S. Ray,
2007
.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
C. A. R. Hoare,
G. Berry,
W. A. Hunt,
1992
.
W. Hunt,
V. Ramanathan,
J. Moore,
2022,
ACL2.
Marijn J. H. Heule,
W. Hunt,
L. Cruz-Filipe,
2016,
CADE.
Warren A. Hunt,
David L. Rager,
W. Hunt,
2012
.
Bishop C. Brock,
Warren A. Hunt,
W. Hunt,
1991,
COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.
Marly Roncken,
Matt Kaufmann,
Warren A. Hunt,
2019,
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Warren A. Hunt,
Erik Reeber,
W. Hunt,
2007
.
Jun Sawada,
Warren A. Hunt,
W. Hunt,
1999,
IEEE Micro.
W. Hunt,
B. Brock,
W.A. Hunt,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Matt Kaufmann,
Warren A. Hunt,
David L. Rager,
2013,
ITP.
Jacob A. Abraham,
Vinod Viswanath,
Warren A. Hunt,
2006,
Proceedings of the Design Automation & Test in Europe Conference.
Bishop Brock,
Warren A. Hunt,
W. Hunt,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
SAT.
Sandip Ray,
John Matthews,
Warren A. Hunt,
2008,
Journal of Automated Reasoning.
Matt Kaufmann,
Warren A. Hunt,
Shilpi Goel,
2017,
Provably Correct Systems.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Marijn J. H. Heule,
Marijn Heule,
Matt Kaufmann,
2017,
ITP.
Robert S. Boyer,
Warren A. Hunt,
Serita M. Nelesen,
2005,
WABI.
W. Hunt,
B. Brock,
1992,
Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
Warren A. Hunt,
W. Hunt,
1989,
Journal of Automated Reasoning.
Bishop C. Brock,
Warren A. Hunt,
W. Hunt,
1994
.
Bishop C. Brock,
Warren A. Hunt,
W. Hunt,
1989
.
Warren A. Hunt,
W. Hunt,
2010,
Formal Methods in Computer Aided Design.
Warren A. Hunt,
Erik Reeber,
W. Hunt,
2005,
CHARME.
Jun Sawada,
Warren A. Hunt,
W. Hunt,
1997,
CAV.
Bishop Brock,
Warren A. Hunt,
W. Hunt,
1989,
Hardware Specification, Verification and Synthesis.
W. Hunt,
J. Sawada,
2007
.
Bishop C. Brock,
Warren A. Hunt,
Ken Albin,
1995
.
Warren A. Hunt,
Serita M. Nelesen,
W. Hunt,
2006,
ACL2 '06.
Hong Chen,
Marly Roncken,
Xiaoyu Song,
2017,
2017 51st Asilomar Conference on Signals, Systems, and Computers.
Sandip Ray,
Warren A. Hunt,
William D. Young,
2008,
2008 Formal Methods in Computer-Aided Design.
Warren A. Hunt,
William D. Young,
Robert Bellarmine Krug,
2008
.
Warren Andrew Hunt,
W. Hunt,
2008
.
Jun Sawada,
Warren A. Hunt,
W. Hunt,
2002,
Formal Methods Syst. Des..
Jun Sawada,
Warren A. Hunt,
W. Hunt,
1998,
CAV.
Sandip Ray,
J. S. Moore,
J. Strother Moore,
2005
.
Matt Kaufmann,
Warren A. Hunt,
Cuong K. Chau,
2015,
ACL2.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
CADE.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2015,
CADE.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
Softw. Test. Verification Reliab..
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
2013 Formal Methods in Computer-Aided Design.
Matt Kaufmann,
Warren A. Hunt,
J. S. Moore,
2005,
TPHOLs.
Matt Kaufmann,
Warren A. Hunt,
W. Hunt,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
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.
Warren A. Hunt,
J. S. Moore,
J Strother Moore,
2003,
CHARME.