APA aipamena

(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago Style aipamena

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

MLA aipamena

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.