Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

21 Nov - 27 Nov 1976
ID: 7648
Organizers
Hans Langmaack, Kiel
Erich J. Neuhold, Stuttgart
Manfred Paul, München

Links to the Oberwolfach Digital Archive


Lookup workshop in oberwolfach photo collection