APA Zitierstil

(2020). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago Zitierstil

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

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