Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

Attention : ces citations peuvent ne pas être correctes à 100%.