APA Style
Núñez, M., Güdemann, M.
(2015).
Formal Methods for Industrial Critical Systems
.
Cham:
Springer.
MLA Style
Núñez, Manuel., Güdemann, Matthias.
"Formal Methods for Industrial Critical Systems".
Cham:
Springer,
2015.
Text.