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 |
E-Mail senden