Programming languages and software engineering

Amitabh Srivastava, Andrew Edwards, Hoi Vo

MSR-TR-2001-50 | April 2001

Luca Cardelli, Giorgio Ghelli

SEBD | April 2001

ISBN: 3-540-41862-8

Emery D. Berger, Ben Zorn, Kathryn McKinley

MSR-TR-2000-113 | April 2001

Nicolas Bruno, Surajit Chaudhuri, Luis Gravano

MSR-TR-2001-36 | March 2001

Published by Microsoft

Project Project

Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers

MSR-TR-2001-38 | March 2001

David Tarditi

February 2001

Dan Geiger, Chris Meek

MSR-TR-98-10 | February 2001

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

EUROCAST 2001 | February 2001

Project

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

Erhard Rahm, Phil Bernstein

MSR-TR-2001-17 | February 2001

Project