Workshop on Formal Methods in Software Practice, Association for Computing Machinery. Special Interest Group on Software Engineering, International Symposium on Software Testing and Analysis, & Heimdahl, M. P. E. (2000). Proceedings of FMSP '00: The Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00. ACM.
Cita Chicago Style (17a ed.)Workshop on Formal Methods in Software Practice, Association for Computing Machinery. Special Interest Group on Software Engineering, International Symposium on Software Testing and Analysis, y Mats P. E. Heimdahl. Proceedings of FMSP '00: The Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : Co-located with ISSTA '00. New York: ACM, 2000.
Cita MLA (9a ed.)Workshop on Formal Methods in Software Practice, et al. Proceedings of FMSP '00: The Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : Co-located with ISSTA '00. ACM, 2000.
