APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.