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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:12:20 2009
by Michael Ley (ley@uni-trier.de)
