Daniel Wagner
发表
Martin Hofmann,
Benjamin C. Pierce,
Daniel Wagner,
2011,
POPL '11.
B. Pierce,
M. Hofmann,
Daniel Wagner,
2013
.
B. Pierce,
M. Hofmann,
Daniel Wagner,
2013
.
Martin Hofmann,
Benjamin C. Pierce,
Daniel Wagner,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Andreas Haeberlen,
Adam J. Aviv,
Jonathan M. Smith,
2010,
EUROSEC '10.