APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.