Formal Methods: Foundations and Applications

MLA

Braga, and Narciso Martí-Oliet. Formal Methods: Foundations and Applications. Springer International Publishing, 2015.

APA

Braga, B., & Martí-Oliet, N. (2015). Formal Methods: Foundations and Applications. Springer International Publishing.

Chicago

Braga, and Narciso Martí-Oliet. Formal Methods: Foundations and Applications. : Springer International Publishing, 2015.