Workshop on Industrial-Strength Formal Specification Techniques
Subtitle: proceedings, April 5-8, 1995, Boca Raton, Florida
By: sponsored by IEEE Computer Society Technical Council on Software Engineering.
Contributors: IEEE Computer Society. Technical Council on Software Engineering.
Publisher: IEEE Computer Society Press
Published: 1995
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 172
Subjects: Computer software -- Development -- Congresses.
Other titles: Industrial-strength formal specification techniques
Notes: Iincludes bibliographical references and index.
"IEEE catalog number 95TH8051"--T.p. verso.