Programming languages & software engineering

Leslie Lamport

MSR-TR-2005-33 | March 2005

Rustan Leino, Todd Millstein, James B. Saxe

Science of Computer Programming – Formal methods for components and objects pragmatic aspects and applications | March 2005, 第 55 卷(1-3): pp. 209-226

Robert DeLIne, Rustan Leino

MSR-TR-2005-70 | March 2005

Nikita Borisov, David Brumley, Helen Wang, Chuanxiong Guo

MSR-TR-2005-133 | February 2005

Shuo Chen, John Dunagan, Yi-Min Wang, Chad Verbowski

MSR-TR-2005-15 | February 2005

Yi-Min Wang, Doug Beck

MSR-TR-2005-21 | February 2005

Milan Vojnovic, Ayalvadi Ganesh

MSR-TR-2005-13 | February 2005

L. Massoulié, M. Vojnović

MSR-TR-2004-112 | February 2005

ACM Sigmetrics 05

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | January 2005, 第 196 卷(2): pp. 127-155