Gaya APA
Bartocci, E., Ramakrishnan, C, R.
(2013).
Model Checking Software
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Bartocci, Ezio., Ramakrishnan, C., R..
"Model Checking Software".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.