Symposium on the Vienna Development Method

Thread View: mod.conferences

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by taylor Sun, 08 Feb 1987 21:53

#76

Author: taylor
Date: Sun, 08 Feb 1987 21:53

14 lines
1248 bytes

- -
                   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)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads