|
Authors: | Philipp W. Kutter, Alfonso Pierantonio |
Group: | Computer Engineering |
Type: | Techreport |
Title: | Montages: Modular Specifications of Programming Languages |
Year: | 1997 |
Month: | January |
Pub-Key: | KuPi97b |
Keywords: | Montages |
Institution: | Universita di L Aquila |
Remarks: | TR 132/Jan, Dip. Matematica Pura ed Applicata, Universita di L Aquila, January 1997 |
Resources: | [BibTeX] [Paper as PDF] |