Programming languages and software engineering

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

Amit Pathak, Soumen Chakrabarti, Manish Gupta

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)

Rui Guo, Bin Benjamin Zhu, Min Feng, Aimin Pan, Bosheng Zhou

WWW 2008 | January 2008

Francesco Logozzo, Manuel Fahndrich

Proceedings of the International Conference on Compiler Construction | January 2008

Project

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

FASE | January 2008

ISBN: 978-3-540-78742-6

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Published by Cambridge University Press | January 2008

ISBN: 9.78052E+12

Sebastian Burckhardt, Madan Musuvathi

MSR-TR-2008-12 | January 2008

A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.

Project

Min Feng, Bin Benjamin Zhu

IEEE Consumer Communications and Networking Conference | January 2008

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

Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte

ACM Trans. Program. Lang. Syst. | January 2008, Vol 31

Project Project