Software specification methods /
Habrias, Henri.
Frappier, Marc,1965-
London : ISTE Ltd,
2006.
Includes index.
Formal methods (Computer science)
Computer software