Logo Logo
Hilfe
Hilfe
Switch Language to English
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.