APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.