Software specification methods : an overview using a case study /

Bibliographic Details
Other Authors:	Frappier, Marc, 1965-, Habrias, Henri
Format:	Book
Language:	English
Published:	London ; New York : Springer, [2001]
Series:	Formal approaches to computing and information technology.
Subjects:	Formal methods (Computer science) Computer software > Specifications.

Remote Storage