Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..