 |
|
|||
| Authors: | Philipp W. Kutter, Alfonso Pierantonio |
| Group: | Computer Engineering |
| Type: | Article |
| Title: | The Formal Specification of Oberon |
| Year: | 1997 |
| Month: | May |
| Pub-Key: | KuPi97d |
| Journal: | Journal of Universal Computer Science |
| Volume: | 3 |
| Number: | 5 |
| Pages: | 443-503 |
| Keywords: | Montages, OBERON |
| Remarks: | Journal of Universal Computer Science, Vol. 3, Nr. 5, 1997 May, pages 443-503 |
| Resources: | [BibTeX] [Paper as PDF] |
