Programming languages and software engineering

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

Nachi Nagappan, Thomas Ball

MSR-TR-2006-03 | January 2006

Project

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux

Advances in Neural Information Processing Systems 18 | January 2006

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux, Jean-François Paiement, Pascal Vincent, Marie Ouimet

Feature Extraction, Foundations and Applications, Spectral Dimensionality Reduction | Published by Springer | 2006

Hiroya Takamura, Takashi Inui, Manabu Okumura

Proceedings EACL-06, the 11rd Conference of the European Chapter of the Association for Computational Linguistics | January 2006

Hongcheng Mi, I-Heng Mei

Proceedings ofAAAI-CAAW-06, the Spring Symposia on Computational Approaches to Analyzing Weblogs | January 2006