The Requirement and Design Specification Language Spectrum: an Informal Introduction (1993)

by M Broy, C Facchi, R Grosu, R Hettler, H Hußmann, D Nazareth, F Regensburger, K Stølen
Venue:Institut für Informatik