Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

4 Jan - 8 Jan 1982
ID: 8201
Organizers
Hans Langmaack, Kiel
Erich J. Neuhold, Stuttgart
Manfred Paul, München

Links to the Oberwolfach Digital Archive


Lookup workshop in oberwolfach photo collection