Understanding formal methods /
Monin, Jean François,1960-
Hinchey, Michael G.(Michael Gerard),1969-
London : Springer,
c2003.
"... published with the help of the French Ministère de la culture--Centre national du livre.".
Includes bibliographical references and index.
Formal methods (Computer science)