Aaron Tomb
发表
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2006
.
Patrick C. Hickey,
Lee Pike,
Aaron Tomb,
2016,
RV.
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Cormac Flanagan,
Aaron Tomb,
2005,
PPDP '05.
Mark Tullsen,
Nathan Collins,
Lee Pike,
2018,
CAV.
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013
.
Aaron Tomb,
Trevor Elliott,
Ledah Casburn,
2014,
PPREW-4.
Brian Huffman,
Robert Dockins,
Dylan McNamee,
2016,
VSTTE.
Aaron Tomb,
Stuart Pernsteiner,
Mike Dodds,
2020,
2020 IEEE Secure Development (SecDev).
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013,
HILT.
Cormac Flanagan,
David Herman,
Aaron Tomb,
2010,
High. Order Symb. Comput..
Willem Visser,
Guillaume Brat,
Aaron Tomb,
2007,
ISSTA '07.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2007
.
Cormac Flanagan,
Aaron Tomb,
2012,
ISSTA 2012.
Stephen Magill,
Mike Dodds,
Aaron Tomb,
2018,
2018 IEEE Cybersecurity Development (SecDev).
Jorge Sousa Pinto,
Nuno Carvalho,
Aaron Tomb,
2014,
NASA Formal Methods.
Aaron Tomb,
2016,
IEEE Security & Privacy.
Steve Zdancewic,
Adam Wick,
Karl Smeltzer,
2021,
Proc. ACM Program. Lang..
Cormac Flanagan,
Aaron Tomb,
2011
.