Options
1991
Doctoral Thesis
Titel
A meta-calculus for formal system development
ThesisNote
Zugl.: Karlsruhe, Univ., Diss., 1990