Compositional Object Specification and Verification
| author/s: | Stefan Conrad |
| type: | Inproceedings |
| editor: | I. Rozman, M. Pivka |
| booktitle: | Int. Conf. on Software Quality (ICSQ'95), Maribor (Slovenia) |
| publisher: | University of Maribor Press |
| pages: | 55-64 |
| month: | November |
| year: | 1995 |
E-Mail senden