APA način citiranja

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

Čikaški stil citiranja

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

MLA način citiranja

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

Upozorenje: Ovi citati možda nisu uvijek 100% točni.