APA aipamena

(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago Style aipamena

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

MLA aipamena

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.