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.