Title: Workshop on Industrial-Strength Formal Specification Techniques
First published: 1995
Subjects: Development, Congresses, Computer software
LC classification: QA76.76.D47 W67 1995