Manfred Reitenspieß - Lehrstuhl für Programmiersysteme

Dr. Manfred Reitenspieß

Wissenschaftler von 1980 bis 1983

Department Informatik (INF)
Lehrstuhl für Informatik 2 (Programmiersysteme)

Webseite: http://www2.informatik.uni-erlangen.de/staff/alumni/reitenspiess.html

1983

Reitenspieß M.:
Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen (Dissertation, 1983)
BibTeX: Download