Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM, 2000.
Conference: fmsp2000
@proceedings{fmsp:2000,
title = {Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA},
year = {2000},
researchr = {https://researchr.org/publication/fmsp%3A2000},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA},
conference = {fmsp},
editor = {Mats Per Erik Heimdahl},
publisher = {ACM},
isbn = {1-58113-262-X},
}