Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.