Industrial-strength formal methods in practice /
Hinchey, Michael G.(Michael Gerard),1969-
Bowen, J. P.(Jonathan Peter),1956-
London : Springer,
c1999.
Includes bibliographical references and index.
Formal methods (Computer science)