Formal Methods: Foundations and Applications

MLA

Ribeiro, and Thierry Lecomte. Formal Methods: Foundations and Applications. Springer International Publishing, 2016.

APA

Ribeiro, R., & Lecomte, T. (2016). Formal Methods: Foundations and Applications. Springer International Publishing.

Chicago

Ribeiro, and Thierry Lecomte. Formal Methods: Foundations and Applications. : Springer International Publishing, 2016.