Programming languages and software engineering

Sumit Gulwani, Ashish Tiwari

ESOP’07 Proceedings of the 16th European Symposium on Programming | March 2007

ISBN: 978-3-540-71314-2

Project

Ádám Darvas, Rustan Leino

Proceeding: FASE’07 Proceedings of the 10th international conference on Fundamental approaches to software engineering | March 2007

ISBN: 978-3-540-71288-6

Project

R. Manevich, Josh Berdine, Byron Cook, G. Ramalingam, M. Sagiv

Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, | March 2007

ISBN: 978-3-540-71208-4

Shuo Chen

MSR-TR-2007-29 | March 2007

Henrique S. Malvar

Data Compresison Conference | March 2007

Noam Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 16th European Symposium on Programming (ESOP) | March 2007

Nick Benton, Uri Zarfaty

MSR-TR-2007-31 | March 2007