dblp.uni-trier.de www.uni-trier.de

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)