Formal Methods and Software Engineering

MLA

Breitman, Karin, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2009.

APA

Breitman, K., Cavalcanti, A., Kanade, T., & Kittler, J. (2009). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Breitman, Karin, Ana Cavalcanti, Takeo Kanade, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2009.