Formal Methods and Software Engineering

MLA

Dong, Jin Song, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010.

APA

Dong, J. Song, Kanade, T., Zhu, H., & Kittler, J. (2010). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Dong, Jin Song, Takeo Kanade, Huibiao Zhu, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2010.