Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.