APA način citiranja

Godefroid, P. (2020). Model Checking Software. Springer Berlin Heidelberg.

Čikaški stil citiranja

Godefroid, Patrick. Model Checking Software. Springer Berlin Heidelberg, 2020.

MLA način citiranja

Godefroid, Patrick. Model Checking Software. Springer Berlin Heidelberg, 2020.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.