MLA

Merz, and Jun Pang. Formal Methods and Software Engineering. Springer International Publishing, 2014.

APA

Merz, M., & Pang, J. (2014). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Merz, and Jun Pang. Formal Methods and Software Engineering. : Springer International Publishing, 2014.