Proceedings
Subtitle: 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998
By: sponsored by IEEE Computer Society, Technical Committee on Complexity in Computing, Florida Atlantic University
Contributors: IEEE Computer Society. Technical Committee on Complexity in Computing; Florida Atlantic University
Publisher: IEEE Computer Society
Published: 1999
Place of publication: Los Alamitos, CA
Language: eng
Number of pages: 143
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index