Formal Methods: Foundations and Applications

MLA

Cavalheiro, and José Fiadeiro. Formal Methods: Foundations and Applications. Springer International Publishing, 2017.

APA

Cavalheiro, C., & Fiadeiro, J. (2017). Formal Methods: Foundations and Applications. Springer International Publishing.

Chicago

Cavalheiro, and José Fiadeiro. Formal Methods: Foundations and Applications. : Springer International Publishing, 2017.