Formal Methods: Foundations and Applications

MLA

Iyoda, Juliano; de Moura, Leonardo, and Leonardo de Moura. Formal Methods: Foundations and Applications. Springer Berlin Heidelberg, 2013.

APA

Iyoda, L., & de Moura, L. (2013). Formal Methods: Foundations and Applications. Springer Berlin Heidelberg.

Chicago

Iyoda, Juliano; de Moura, Leonardo, and Leonardo de Moura. Formal Methods: Foundations and Applications. : Springer Berlin Heidelberg, 2013.