APA সাইটেশন

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.