Formal Methods in Software Practice
FMSP 2000: Portland, Oregon, USA
Mats Per Erik Heimdahl (Ed.):
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA.
ACM 2000, ISBN 1-58113-262-X
Contents 
FMSP 1998: Clearwater Beach, Florida, USA
Mark A. Ardis, Joanne M. Atlee (Eds.):
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA.
ACM 1998, ISBN 0-89791-954-8
Contents
Copyright © Mon Mar 15 03:36:58 2010
by Michael Ley (ley@uni-trier.de)
