Formal Methods and Software Engineering

MLA

Liu, Shaoying, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2008.

APA

Liu, S., Araki, K., Kanade, T., Maibaum, T., & Kittler, J. (2008). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Liu, Shaoying, Keijiro Araki, Takeo Kanade, Tom Maibaum, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2008.