Specifying Software Requirements for Complex Systems: New Techniques and their Application (1980)

by K Henninger
Venue:IEEE TSE