APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

Workshop on Formal Methods in Software Practice, Association for Computing Machinery. Special Interest Group on Software Engineering, International Symposium on Software Testing and Analysis, and 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.

MLA (9th ed.) Citation

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.