Dr.C. Andres

Generieren von Quellcode aus Pass-Spezifikationen

Joerg Dannenberg

Betreuer: Prof.Dr.F. Hofmann, Dr.P. Holleczek, Dr.C. Andres

Dec. 20, 1990