APA引文

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

Trích dẫn kiểu Chicago

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

MLA引文

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

警告：這些引文格式不一定是100％准確.