APA aipamena

Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.

Chicago Style aipamena

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

MLA aipamena

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.