Mathematical methods of specification and synthesis of software systems : proceedings - Bibel W; Workshop on Mathematical Methods of Specification and synthesis of Software Systems( 1985 : Wendisch,GDR ); Workshop on Mathematical Methods of Specification and synthesis of Software Systems Wendisch, GDR 1985 (N Y Springer Verlag, 1986)
Keywords: Software systems