Programming languages and software engineering

David Tarditi, Juan Chen

March 2005

Don Syme

MSR-TR-2005-31 | March 2005

Project

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, Vol 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

Yi-Min Wang, Doug Beck

MSR-TR-2005-21 | February 2005

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

MSR-TR-2005-15 | February 2005

Milan Vojnovic, Ayalvadi Ganesh

MSR-TR-2005-13 | February 2005