APA Style
Ölveczky, P, C., Artho, C.
(2015).
Formal Techniques for Safety-Critical Systems
.
Cham:
Springer.
MLA Style
Ölveczky, Peter, Csaba., Artho, Cyrille.
"Formal Techniques for Safety-Critical Systems".
Cham:
Springer,
2015.
Text.