Godefroid, P. (2020). Model Checking Software. Springer Berlin Heidelberg.
Styl cytowania ChicagoGodefroid, Patrick. Model Checking Software. Springer Berlin Heidelberg, 2020.
Styl cytowania MLAGodefroid, Patrick. Model Checking Software. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..