Software specification methods : an overview using a case study /
Frappier, Marc,1965-
Habrias, Henri.
London : Springer,
c2001.
Includes bibliographical references and index.
Formal methods (Computer science)
Computer software