Korrektheit von Spezifikationen und generischen Moduln
By: Wolfgang Reif
Contributors: Universität Karlsruhe
Published: 1991
Language: ger
Number of pages: 258
Notes: Thesis (doctoral)--Universität Karlsruhe (T.H.), 1991.