TY  - BOOK
AU  - Monin,Jean-Francois
AU  - Hinchey,Michael G.
TI  - Understanding formal methods
SN  - 9781852332471
PY  - 2003///
CY  - Berlin, Germany
PB  - Springer
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -