APA
Monin J. F., Hinchey M. G., . (2003). Understanding formal methods. London: Springer.
Chicago
Monin Jean François, Hinchey Michael G, . 2003. Understanding formal methods. London: Springer.
Harvard
Monin J. F., Hinchey M. G., . (2003). Understanding formal methods. London: Springer.
MLA
Monin Jean François, Hinchey Michael G, . Understanding formal methods. London: Springer. 2003.