APA Style
Butler, M. et al
(2015).
Formal Methods and Software Engineering
.
Cham:
Springer.
MLA Style
Butler, Michael. et al.
"Formal Methods and Software Engineering".
Cham:
Springer,
2015.
Text.