Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.