Cita APA (7a ed.)

Heimdahl, M. P. . E., & Heimdahl, M. P. E. C. (2000). Proceedings of the third Workshop on Formal Methods in Software Practice. ACM.

Cita Chicago Style (17a ed.)

Heimdahl, Mats P. E., y Mats P. E. Contributor Heimdahl. Proceedings of the Third Workshop on Formal Methods in Software Practice. [Place of publication not identified]: ACM, 2000.

Cita MLA (9a ed.)

Heimdahl, Mats P. E., y Mats P. E. Contributor Heimdahl. Proceedings of the Third Workshop on Formal Methods in Software Practice. ACM, 2000.