Adam Wick
发表
Michael Chrin,
J. Bernardo,
J. Bennewitz,
2011
.
Steve Zdancewic,
Adam Wick,
Karl Smeltzer,
2021,
Proc. ACM Program. Lang..
John Regehr,
Matthew Flatt,
Adam Wick,
2009,
ISMM '09.
J. Regehr,
M. Flatt,
J. Rafkind,
2009,
ISMM '09.