Programming languages & software engineering

Yuri Gurevich, Itay Neeman

MSR-TR-2008-09 | January 2008

Cédric Fournet, Tamara Rezk

35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08) | January 2008

Yuri Gurevich

Logics of Specification Languages | January 2008, pp. 599-602

Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer

Journal of Computer Security (Special issue for CSF’07) | January 2008

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