 |
|
|||
| Authors: | Philipp W. Kutter |
| Group: | Computer Engineering |
| Type: | Techreport |
| Title: | An ASM Macro Language for Sets |
| Year: | 1998 |
| Month: | January |
| Pub-Key: | Kut98a |
| Keywords: | ASMs |
| Rep Nbr: | 34 |
| Institution: | Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich |
| Remarks: | TIK Report No.34, January 1998 |
| Resources: | [BibTeX] [Paper as PDF] |
