Formal Methods and Software Engineering

MLA

Duan, and Luke Ong. Formal Methods and Software Engineering. Springer International Publishing, 2017.

APA

Duan, D., & Ong, L. (2017). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Duan, and Luke Ong. Formal Methods and Software Engineering. : Springer International Publishing, 2017.