APA način citiranja

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

Čikaški stil citiranja

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

MLA način citiranja

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

Upozorenje: Ovi citati možda nisu uvijek 100% točni.