Formal Methods and Software Engineering

MLA

Banach, Richard, et al. Formal Methods and Software Engineering. Springer Berlin / Heidelberg, 2005.

APA

Banach, R., Kanade, T., Lau, K., & Kittler, J. (2005). Formal Methods and Software Engineering. Springer Berlin / Heidelberg.

Chicago

Banach, Richard, Takeo Kanade, Kung-Kiu Lau, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin / Heidelberg, 2005.