Programming languages & software engineering

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

Formal Methods and Testing | 作者：Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

项目 项目 项目

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

项目

Zhaozhong Ni

MSR-TR-2008-191 | January 2008

Andreas Blass, Yuri Gurevich

33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008). Springer Lecture Notes in Computer Science. | January 2008

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

Proceedings of ATVA 2008 | January 2008

Jamie Shotton, Andrew Blake, Roberto Cipolla

Proc. BMVC | January 2008

Proc. BMVC

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

Diwaker Gupta, Kashi Vishwanath, Amin Vahdat

Networked Systems Design and Implementation (NSDI) | January 2008

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

SIAM Journal on Computing | January 2008, 第 37 卷(5): pp. 1342-1372