Programming languages & software engineering

Andreas Lachenmann

January 2008

January 2008

Ofer Dekel, Felix Fischer, Ariel Procaccia

Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008

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

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

Project Project

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

FASE | January 2008

ISBN: 978-3-540-78742-6

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

Moshe Babaioff, Patrick Briest, Piotr Krysta

International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Published by Cambridge University Press | January 2008

ISBN: 9780521687614

Renan Cattelan, Darko Kirovski, Deepak Vijaywargi

MSR-TR-2008-14 | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

Suresh Thummalapenta, Tao Xie

MSR ’08: Proceedings of the 2008 international working conference on Mining software repositories | January 2008

ISBN: 978-1-60558-024-1