Penggayaan APA
Godefroid, Patrick.. (2005).
Model Checking Software (1st ed.).
Berlin:
Springer.
Chicago Style
Godefroid, Patrick..
Model Checking Software.
1st ed.
Berlin:
Springer,
2005.
E Book.
MLA Style
Godefroid, Patrick..
Model Checking Software.
1st ed.
Berlin:
Springer,
2005.
E Book.
Turabian Style
Godefroid, Patrick..
Model Checking Software.
1st ed.
Berlin:
Springer,
2005.
E Book.