Programming languages and software engineering

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

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

Erik Ruf

Static Analysis Symposium (SAS ’02) | January 2002

Static Analysis Symposium (SAS '02)

Mark Shields, Simon Peyton Jones

9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon | January 2002

Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan

MSR-TR-2002-03 | January 2002

Anuj Dawar, Yuri Gurevich

The Bulletin of Symbolic Logic | January 2002

Shaz Qadeer, Serdar Tasiran

Proceedings of the 3rd IEEE International Symposium on Quality Electronic Design | January 2002

Thomas Ball, Sriram Rajamani

MSR-TR-2002-09 | January 2002

Greg Lawler, Oded Schramm, Wendelin Werner

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

Martin Szummer, Tommi Jaakkola

Advances in Neural Information Processing Systems (NIPS) | January 2002

Greg Lawler, Oded Schramm, Wendelin Werner

In and out of equilibrium (Mambucaba, 2000) | Published by Birkhäuser Boston | 2002, Vol 51 | In and out of equilibrium (Mambucaba, 2000) edition