Formal Methods: Foundations and Applications

MLA

Massoni, Mohammad Reza Mousavi, and Mohammad Reza Mousavi. Formal Methods: Foundations and Applications. Springer International Publishing, 2018.

APA

Massoni, M., Mohammad Reza Mousavi, M. Reza Mousavi, & Mousavi, M. Reza. (2018). Formal Methods: Foundations and Applications. Springer International Publishing.

Chicago

Massoni, Mohammad Reza Mousavi, and Mohammad Reza Mousavi. Formal Methods: Foundations and Applications. : Springer International Publishing, 2018.