APA citiranje

(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

MLA citiranje

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

Opozorilo: Ti citati niso vedno 100% točni.