APA aipamena

(2020). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago Style aipamena

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA aipamena

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.