APA citiranje

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

Trích dẫn kiểu Chicago

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.