APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.