Gaya APA
Giacobazzi, R. et al (2013).
Verification, Model Checking, and Abstract Interpretation .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Giacobazzi, Roberto. et al.
"Verification, Model Checking, and Abstract Interpretation".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.