3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
This volume is a record of the Workshop on User Interface Management Systems and Environments hel...
This volume is a record of the Workshop on Window Management held at the Ruth- erford Appleton La...
This volume is a record of the Workshop on Graphics and Communications organized within ESPRIT II...
Karst Systems deal with the question of how the subsurface drainage system, typical of Karst area...
This volume is a record of the Workshop on Window Management held at the Ruth erford Appleton Lab...
The offices of GMD-FOKUS in Berlin provided the venue for a meeting in December 1987 which signal...
This volume is a record of the Workshop on User Interface Management Systems and Environments hel...