ID:DA01059596
International Spring School on Mathematical Methods of Specification and Synthesis of Software Systems
Search authors sharing the same name
edited by W. Bibel and K.P. Jantke
Springer-Verlag c1986 Lecture notes in computer science 215
: gw , : us
Available at 58 libraries