Παραπομπή APA

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

Παραπομπή Chicago Style

Gupta, Aarti, και Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Παραπομπή MLA

Gupta, Aarti, και Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.