Mike Barnett
发表
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
Robert DeLine,
2005,
FMCO.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
K. Rustan M. Leino,
Peter Müller,
Wolfram Schulte,
2011,
Commun. ACM.
K. Rustan M. Leino,
Michael Barnett,
Mike Barnett,
2005,
PASTE '05.
H. Venter,
K. Rustan,
M. Leino,
2009
.