APA Zitierstil

Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago Zitierstil

Gupta, Aarti, und Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Gupta, Aarti, und Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

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