International Conference on Automated Software Engineering 2007, Association for Computing Machinery-Digital Library, Rushby, J. C., & Shankar, N. C. (2007). AFM '07: Second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia. ACM.
Cita Chicago Style (17a ed.)International Conference on Automated Software Engineering 2007, Association for Computing Machinery-Digital Library, John Contributor Rushby, y N Contributor Shankar. AFM '07: Second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia. [Place of publication not identified]: ACM, 2007.
Cita MLA (9a ed.)International Conference on Automated Software Engineering 2007, et al. AFM '07: Second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia. ACM, 2007.
