taylor@hplabsc.UUCP (02/09/87)
- -
Symposium on the Vienna Development Method
Brussels, Belgium
March 23rd-26th, 1987
Sponsored by the EEC
TUTORIAL: the first day will be a tutorial on VDM
A FORMAL METHOD AT WORK: is the theme of the papers ond the following 3 days.
It will include papers both on recent developments and on Industrial
Applications of this well-known formal development method.
For futher information, please contact:
K. de Vriendt (EEC) telephone: ++32/2/2357769 (telex: 21877 comeu b)