APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.