TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Jump to: 1996
Number of items: 2.
1996
Kremer, Marion (1996)
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele.
Book, Bibliographie
Kremer, Marion (1996)
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie