APA aipamena

Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago Style aipamena

Gupta, Aarti, và Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA aipamena

Gupta, Aarti, và Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.