Breitman, K. und Cavalcanti, A. (Hrsg.) (2009) „Formal Methods and Software Engineering : 11 th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-10373-5.

Breitman, Karin, und Ana Cavalcanti, Hrsg. „Formal Methods and Software Engineering : 11 th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-10373-5.

Breitman, K., … Cavalcanti, A. (Hrsg.). (ca. 2009). Formal Methods and Software Engineering : 11 th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-10373-5

Breitman, K., und A. Cavalcanti, Herausgeber. „Formal Methods and Software Engineering : 11 th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-10373-5.

BREITMAN, Karin und Ana CAVALCANTI (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642103735