Formal Methods and Software Engineering

MLA

Qin, Shengchao, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2011.

APA

Qin, S., Kanade, T., Qiu, Z., & Kittler, J. (2011). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Qin, Shengchao, Takeo Kanade, Zongyan Qiu, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2011.