| | |
@proceedings{DBLP:conf/fmsp/2000,
editor = {Mats Per Erik Heimdahl},
title = {Proceedings of the Third Workshop on Formal Methods in Software
Practice, 2000, Portland, Oregon, USA},
booktitle = {FMSP},
publisher = {ACM},
year = {2000},
isbn = {1-58113-262-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page