Programming languages and software engineering

Rustan Leino

Information Processing Letters | February 2001

Andy Gordon, Don Syme

MSR-TR-2000-106 | January 2001

ISBN: 1-58113-336-7

Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA

Andreas Blass, Yuri Gurevich

ACM Transactions on Computer Logic | January 2001

Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte

ICLP | January 2001

Aditya Nori, Ashok Sreenivas

Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001

Ludovic Denoyer, Hugo Zaragoza, Patrick Gallinari

23rd European Colloquium on Information Retrieval Research (ECIR’01) | January 2001

Manuel Fahndrich

MSR-TR-2001-20 | January 2001

Stan Z. Li, Ji Yan, Hong-Jiang Zhang, Shujie Zhu

MSR-TR-2001-09 | January 2001

Yuri Gurevich, Nikolai Tillmann

Springer J. of Universal Computer Science | January 2001

Lior Levy, Liad Blumrosen, Noam Nisan

USITS 01 | January 2001