Gaya APA
Hierons, R, M. et al
(2013).
Software Engineering and Formal Methods
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Hierons, Robert, M.. et al.
"Software Engineering and Formal Methods".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.