APA Citation

(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 Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.