Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Schwichtenberg, Helmut (Juli 1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München
Volltext auf 'Open Access LMU' nicht verfügbar.