APA
Karin Breitman A. C., . (2009). Formal Methods and Software Engineering. Germany: Springer.
Chicago
Karin Breitman Ana Cavalcanti, . 2009. Formal Methods and Software Engineering. Germany: Springer.
Harvard
Karin Breitman A. C., . (2009). Formal Methods and Software Engineering. Germany: Springer.
MLA
Karin Breitman Ana Cavalcanti, . Formal Methods and Software Engineering. Germany: Springer. 2009.