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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team