Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.