Gaya APA
Pecheur, C., Dierkes, M. (2013).
Formal Methods for Industrial Critical Systems .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Pecheur, Charles., Dierkes, Michael.
"Formal Methods for Industrial Critical Systems".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.