Formal methods : state of the art and new directions /
Bowen, Jonathan.
Siddiqi, Jawed I.
London : Springer,
2010.
Includes bibliographical references.
Formal methods (Computer science)