TY  - BOOK
AU  - Bibel W
ED  - Workshop on Mathematical Methods of Specification and synthesis of Software Systems( 1985 : Wendisch,GDR )
ED  - Workshop on Mathematical Methods of Specification and synthesis of Software Systems
TI  - Mathematical methods of specification and synthesis of software systems : proceedings
SN  - 3-540-16444-8
U1  - 5.3 
PY  - 1986///
CY  - N Y
PB  - Springer Verlag
KW  - Software systems
ER  -