Formal Methods and Software Engineering

MLA

Liu, Zhiming, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2006.

APA

Liu, Z., He, J., Kanade, T., & Kittler, J. (2006). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Liu, Zhiming, Jifeng He, Takeo Kanade, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2006.