Formal Methods and Software Engineering

MLA

Sun, Meng Sun, and Meng Sun. Formal Methods and Software Engineering. Springer International Publishing, 2018.

APA

Sun, S., Meng Sun, M. Sun, & Sun, M. (2018). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Sun, Meng Sun, and Meng Sun. Formal Methods and Software Engineering. : Springer International Publishing, 2018.