APA Style
Gerard, O, R.
(2017).
Concise Guide to Formal Methods
.
Switzerland:
Springer,.
MLA Style
Gerard, O', Regan,.
"Concise Guide to Formal Methods".
Switzerland:
Springer,,
2017.
Text.