APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.