APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.