An Elementary Logic for Object Specification and Verification
| author/s: | Stefan Conrad, Hans-Dieter Ehrich |
| type: | Inproceedings |
| editor: | U.W. Lipeck, G. Vossen |
| booktitle: | GI-AK/EMISA-Workshop ``Formale Grundlagen für den Entwurf von Informationssysteme'' (Tutzing 24.-26.05.94) |
| publisher: | Universität Hannover, Informatik-Bericht 03/94 |
| pages: | 197-206 |
| month: | May |
| year: | 1994 |
E-Mail senden