Gaya APA
Groves, L., Sun, J.
(2013).
Formal Methods and Software Engineering
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Groves, Lindsay., Sun, Jing.
"Formal Methods and Software Engineering".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.