Proceedings of FMSP '00 : the third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA - Heimdahl, Mats P. E. (Association for Computing Machinery, 2000)