Programming languages and software engineering

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001

Rustan Leino

Information Processing Letters | February 2001

Erhard Rahm, Phil Bernstein

MSR-TR-2001-17 | February 2001

Project

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