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 .