APA Alıntı

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

Chicago Stili Alıntı

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

MLA Alıntı

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

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..