Programming languages & software engineering

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Project

Mike Barnett, Rustan Leino, Wolfram Schulte

CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices | January 2005

CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices

Project

Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte

SEFM | January 2005

ISBN: 0-7695-2435-4

Project

Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jon Hui, Armando Fox, Michael I. Jordan, David Patterson

ICAC ’05: International Conference on Autonomic Computing | January 2005

Chris Brockett, Bill Dolan

Third International Workshop on Paraphrasing (IWP2005) | January 2005

Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger

Journal of Logic and Computation | January 2005

Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li

IEEE Int. Conf. Image Processing 2005 | January 2005

IEEE Int. Conf. Image Processing 2005

Matthew J. Parkinson

January 2005

January 2005

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-654.html

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Project Project

Nikolai Tillmann, Wolfram Schulte

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering

ISBN: 1-59593-014-0

Project Project