Zur Verifikation von Objekteigenschaften
author/s: | Stefan Conrad |
type: | Inproceedings |
editor: | Thalheim, B. |
booktitle: | 5. GI-Workshop Grundlagen von Informationssystemen |
publisher: | Technical Report 03/93, Universität Rostock, Fachbereich Informatik |
pages: | 40-44 |
month: | May |
year: | 1993 |