Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

27 Jan - 31 Jan 1986
ID: 8605
Organizers
Hans Langmaack, Kiel
Erich J. Neuhold, Wien
Manfred Paul, München

Links to the Oberwolfach Digital Archive


Lookup workshop in oberwolfach photo collection