|
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] |