Formal Methods and Software Engineering

MLA

Groves, Lindsay; Sun, Jing, and Jing Sun. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2013.

APA

Groves, J., & Sun, J. (2013). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Groves, Lindsay; Sun, Jing, and Jing Sun. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2013.