APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.