APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.