TY  - CONF
AU  - John Horst
AU  - Elena Messina
AU  - Thomas Kramer
AU  - Hui-Min Huang
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  -