 |
|
|||
| Authors: | Philipp W. Kutter |
| Group: | Computer Engineering |
| Type: | Misc |
| Title: | Integration of Statecharts in Specware and Aspects of Correct Oberon Code Generation |
| Year: | 1996 |
| Month: | January |
| Pub-Key: | Kut96b |
| Keywords: | Statecharts, OBERON |
| Remarks: | Masters Thesis, Kestrel Institute, September 1996 |
| Resources: | [BibTeX] |
