Programming languages & software engineering

Andreas Blass, Yuri Gurevich

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

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)

Nikolai Tillmann, Jonathan "Peli" de Halleux

TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008

ISBN: 978-1-60558-053-1

Project Project

Ethan Jackson, Wolfram Schulte

Published by Microsoft Research, January 2008

Project

Rustan Leino, Wolfram Schulte

Published by Microsoft Research, January 2008

Project

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

Project

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

WWW 2008 | January 2008

Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang

Programming Language Design and Implementation (PLDI) | January 2008

Zhengdong Lu, Miguel A. Carreira-Perpinan, Cristian Sminchisescu

Advances in Neural Information Processing Systems (NIPS 20) | January 2008

Advances in Neural Information Processing Systems (NIPS 20)

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

Published by Springer Verlag Berlin Heidelberg | January 2008