Gaya APA
Godefroid, P.
(2005).
Model Checking Software
(
1st ed.)
.
Berlin:
Springer.
Gaya MLA
Godefroid, Patrick..
"Model Checking Software".
1st ed.
Berlin:
Springer,
2005.
E Book.