APA aipamena

(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago Style aipamena

Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.

MLA aipamena

Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.