एपीए उद्धरण

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

शिकागो स्टाइल उद्धरण

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

एमएलए उद्धरण

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