Programming languages and software engineering

Thomas Ball, Sriram Rajamani

MSR-TR-2001-21 | January 2002

A. J. Ganesh, A.-M. Kermarrec, L. Massoulié

Proc. Tenth ACM SIGOPS European Workshop | January 2002

Proc. Tenth ACM SIGOPS European Workshop

Greg Lawler, Oded Schramm, Wendelin Werner

Electron. J. Probab. | January 2002, Vol 7: pp. no. 2, 13 pp. (electronic)

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

Project

Li-Yi Wei

January 2002

Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan

MSR-TR-2002-03 | January 2002

Uwe Glässer, Margus Veanes

Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002

Project

Erik Ruf

Static Analysis Symposium (SAS ’02) | January 2002

Static Analysis Symposium (SAS '02)

Simon Peyton Jones, Mark Shields

January 2002

Microsoft Research

Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran

Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002