Formal Methods and Software Engineering

MLA

Ogata, Mark Lawford, and Shaoying Liu. Formal Methods and Software Engineering. Springer International Publishing, 2016.

APA

Ogata, O., Lawford, M., & Liu, S. (2016). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Ogata, Mark Lawford, and Shaoying Liu. Formal Methods and Software Engineering. : Springer International Publishing, 2016.