DocumentCode
1990112
Title
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design
fYear
1993
fDate
Dec. 6 1993-Nov. 7 1993
Keywords
formal specification; software engineering; concurrency; design methods; distribution; formal reasoning; real-time systems; requirements engineering; software architectures; software design; software specification;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on
Conference_Location
Redondo Beach, CA, USA
Print_ISBN
0-8186-4360-9
Type
conf
DOI
10.1109/IWSSD.1993.315521
Filename
315521
Link To Document