APA Style
Bernardo, M., Johnsen, E, B.
(2015).
Formal Methods for Multicore Programming
.
Cham:
Springer.
MLA Style
Bernardo, Marco., Johnsen, Einar, Broch.
"Formal Methods for Multicore Programming".
Cham:
Springer,
2015.
Text.