APA ציטוט

(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

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