Aaron Tomb
发表
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Jorge Sousa Pinto,
Nuno Carvalho,
Aaron Tomb,
2014,
NASA Formal Methods.
Willem Visser,
Guillaume Brat,
Aaron Tomb,
2007,
ISSTA '07.
Steve Zdancewic,
Adam Wick,
Karl Smeltzer,
2021,
Proc. ACM Program. Lang..
Mark Tullsen,
Nathan Collins,
Lee Pike,
2018,
CAV.
Brian Huffman,
Robert Dockins,
Dylan McNamee,
2016,
VSTTE.
Cormac Flanagan,
David Herman,
Aaron Tomb,
2010,
High. Order Symb. Comput..
Patrick C. Hickey,
Lee Pike,
Aaron Tomb,
2016,
RV.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2007
.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2006
.