Brian Huffman
发表
Brian Huffman,
2016
.
Brian Huffman,
2015
.
Brian Huffman,
Ondrej Kuncar,
Ondrej Kuncar,
2013,
CPP.
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Brian Huffman,
2012,
ICFP '12.
Brian Huffman,
Christian Sternagel,
Joachim Breitner,
2017,
Arch. Formal Proofs.
Brian Huffman,
2010,
Arch. Formal Proofs.
Brian Huffman,
2009,
TPHOLs.
Brian Huffman,
2016
.
Brian Huffman,
Christian Sternagel,
Joachim Breitner,
2013,
ArXiv.
Brian Huffman,
2015
.
Peter A. Beerel,
Brian Huffman,
Daniel M. Zimmerman,
2020,
2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013
.
Mohammad Shavezipur,
Brian Huffman,
Roya Mazrouei,
2017
.
Brian Huffman,
2016
.
Brian Huffman,
Christian Urban,
2010,
ITP.
Brian Huffman,
James G. Hook,
J. Hook,
2012
.
Brian Huffman,
Robert Dockins,
Dylan McNamee,
2016,
VSTTE.
Johannes Hölzl,
Brian Huffman,
Fabian Immler,
2013,
ITP.
Brian Huffman,
2011
.
Brian Huffman,
2009,
Arch. Formal Proofs.
Brian Huffman,
Ellen-Rae Cachola,
2016
.
Brian Huffman,
2005,
Arch. Formal Proofs.
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013,
HILT.
Brian Huffman,
2015
.
Michael Norrish,
Brian Huffman,
2013,
ITP.
Brian Huffman,
2012,
Arch. Formal Proofs.
Brian Huffman,
2016
.
Brian Huffman,
Peter White,
John Matthews,
2005,
TPHOLs.
Brian Huffman,
Samuel Breese,
Andrei Stefanescu,
2021,
CAV.
Brian Huffman,
B. Huffman,
2008
.
Brian Huffman,
B. Huffman,
2001
.
Brian Huffman,
2005
.