Programming languages and software engineering

Rustan Leino

SPIN’03 Proceedings of the 10th international conference on Model checking software | May 2003

ISBN: 3-540-40117-2

Andy Gordon, Alan Jeffrey

Theoretical Computer Science | May 2003, Vol 300(1): pp. 379-409

Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson

Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003

Project Project

David Lie, John Mitchell, Chandu Thekkath, Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy | May 2003

Jittat Fakcharoenphol, Satish Rao, Kunal Talwar

STOC ’03: Proceedings of the thirty-fifth annual ACM symposium on Theory of computing | April 2003

ISBN: 1-58113-674-9

David R. Hanson, Todd A. Proebsting

MSR-TR-2003-32 | April 2003

Scott Lee Tiernan, Jonathan Grudin

April 2003

Philip A. Chou, Helen Wang, Venkata N. Padmanabhan, Philip A. Chou, Venkat Padmanabhan

Packet Video Workshop | April 2003

Project

D.P. Schneider, Jim Gray, et. al.

Astronomy | March 2003, Vol 126: pp. 41

Dinei Florencio, Patrice Simard

DCC | March 2003