On Certification of Specifications for TROLL light Objects
| full text: |
|
| author/s: | Stefan Conrad |
| type: | Inproceedings |
| editor: | H. Ehrig, F. Orejas |
| booktitle: | Proc. Workshop on Abstract Data Types (WADT'92), Barcelona |
| publisher: | Springer LNCS 785 |
| pages: | 158-172 |
| month: | March |
| year: | 1994 |
E-Mail senden