Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

7 Jan - 13 Jan 1979
ID: 7902
Organizers
Hans Langmaack, Kiel
Erich J. Neuhold, Stuttgart
Manfred Paul, München

Links to the Oberwolfach Digital Archive


Lookup workshop in oberwolfach photo collection