APA

Monin J., Hinchey M. G., . (2003). Understanding formal methods. London: Springer.

Chicago

Monin Jean-Francois, Hinchey Michael G, . 2003. Understanding formal methods. London: Springer.

Harvard

Monin J., Hinchey M. G., . (2003). Understanding formal methods. London: Springer.

MLA

Monin Jean-Francois, Hinchey Michael G, . Understanding formal methods. London: Springer. 2003.