M. Fähndrich
发表
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2012,
SIGSOFT FSE.
James R. Larus,
Galen C. Hunt,
Chris Hawblitzel,
2006,
EuroSys.
Alexander Aiken,
Manuel Fähndrich,
Raph Levien,
1995,
PLDI '95.
K. Rustan M. Leino,
Peter Müller,
Wolfram Schulte,
2011,
Commun. ACM.
Manuel Fähndrich,
M. Fähndrich,
2010,
SAS.
K. Leino,
Manuel Fähndrich,
M. Fähndrich,
2003,
OOPSLA '03.
H. Venter,
K. Rustan,
M. Leino,
2009
.
Alexander Aiken,
Manuel Fähndrich,
A. Aiken,
1997,
SAS.