APA Zitierstil

Cook, B., & Podelski, A. (2020). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago Zitierstil

Cook, Byron, und Andreas Podelski. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Cook, Byron, und Andreas Podelski. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2020.

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