APA citiranje

(2020). Computer Aided Verification. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA citiranje

Computer Aided Verification. Springer Berlin Heidelberg, 2020.