Gaya APA
Johnsen, E, B., Petre, L.
(2013).
Integrated Formal Methods
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Johnsen, Einar, Broch., Petre, Luigia.
"Integrated Formal Methods".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.