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