Cita APA (7a ed.)
Karin Breitman, A. C. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Karin Breitman, Ana Cavalcanti. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio De Janeiro, Brazil, December 9-12, 2009, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Karin Breitman, Ana Cavalcanti. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio De Janeiro, Brazil, December 9-12, 2009, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.