| Originalsprache | englisch |
|---|---|
| Erscheinungsort | Graz |
| Verlag | . |
| Publikationsstatus | Veröffentlicht - 2002 |
Publikationsreihe
| Name | Technical Report IST |
|---|
Formal refinement of a cash register system in VDM++
Daniel Köb
Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht