Formal Methods and Software Engineering

MLA

Ait-Ameur, and Shengchao Qin. Formal Methods and Software Engineering. Springer International Publishing, 2019.

APA

Ait-Ameur, A., & Qin, S. (2019). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Ait-Ameur, and Shengchao Qin. Formal Methods and Software Engineering. : Springer International Publishing, 2019.