TY  - CONF
AU  - Horst, John
AU  - Messina, Elena
AU  - Kramer, Thomas
AU  - Huang, Hui-Min
C2  - Proceedings of the 7th Symposium on Computer-Aided Control System Design (CACSD '97), Gent, BE
DA  - 1997-04-30
LA  - en
PB  - Proceedings of the 7th Symposium on Computer-Aided Control System Design (CACSD '97), Gent, BE
PY  - 1997
TI  - Precise Definition of Software Component Specifications
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=820590
ER  -