APA aipamena

(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.

Chicago Style aipamena

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.

MLA aipamena

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.