Programming languages and software engineering

Krishna Chintalapudi, Jeongyeup Paek, Omprakash Gnawali, Tat Fu, Karthik Dantu, John Caffrey, Ramesh Govindan, Erik Johnson

SPOTS/IPSN | January 2006

Suman Nath, Jie Liu, Feng Zhao

First Workshop on World-Sensor-Web (co-located with SenSys) | January 2006

First Workshop on World-Sensor-Web (co-located with SenSys)

Samuel Ieong, Yoav Shoham

Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006

Sriram Rajamani

Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006

Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)

Margus Veanes, Pritam Roy, Colin Campbell

Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006

Wolfram Schulte

ICFEM | January 2006

ISBN: 3-540-47460-9

Project

Mike Barnett, David A. Naumann, Wolfram Schulte, Qi Sun

ETRICS | January 2006

ISBN: 3-540-34640-6

Santiago Zanella-Béguelin

2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 | January 2006

2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005

Donald Syme, Don Syme

Proceedings of the 2006 workshop on ML | January 2006

Project

Nachi Nagappan, Thomas Ball

MSR-TR-2006-03 | January 2006

Project