Dustin Hoffman
发表
Bruce W. Weide,
Jason Kirschenbaum,
Harvey M. Friedman,
2014,
SIGCSE '14.
Gregory Kulczycki,
Murali Sitaraman,
Bruce W. Weide,
2013,
ICSR.
Bruce W. Weide,
Diego Zaccai,
Aditi Tagore,
2014,
NASA Formal Methods.