Workshop on Industrial-Strength Formal Specification Techniques
Subtitle: Proceedings, April 5-8, 1995, Boca Raton, Florida
Publisher: IEEE Computer Society Press
Published: 1995
Language: eng
Format: Unknown Binding
Number of pages: 172
ISBN-13: 9780780325296
Subjects: Computer software; Congresses; Development