Gaya APA

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

Gaya MLA

Iyoda, Juliano., Moura, Leonardo. "Formal Methods: Foundations and Applications". Springer Berlin Heidelberg: Springer, 2013. E-Book.