Programming languages & software engineering

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Proc. International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008 | January 2008

Project Project

Suresh Thummalapenta, Tao Xie

ASE ’08: Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering | January 2008

ISBN: 978-1-4244-2187-9

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

Project Project Project

Ethan Jackson, Wolfram Schulte

Formal Techniques for Networked and Distributed Systems – FORTE 2008 | January 2008

Formal Techniques for Networked and Distributed Systems – FORTE 2008

ISBN: 978-3-540-68854-9

Project

Zhaozhong Ni

MSR-TR-2008-191 | January 2008

Andy Cockburn, Amy Karlson, Benjamin B. Bederson

ACM Computing Surveys, ACM Surveys | January 2008

ACM Surveys

Manuel MT Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller

Proc ACM Workshop on Declarative Aspects of Multicore Programming | January 2008

Proc ACM Workshop on Declarative Aspects of Multicore Programming

Ethan Jackson, Wolfram Schulte

Software Composition | January 2008

ISBN: 978-3-540-78788-4

Project

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of ATVA 2008 | January 2008

Francesco Logozzo, Manuel Fahndrich

Proceedings of the International Conference on Compiler Construction | January 2008

Project