May 1997 Draft of the ASM Guide
- Yuri Gurevich
Tech Report CSE-TR-336-97, EECS Dept, University of Michigan, 1997 |
The draft improves upon the ASM syntax (and appears here because it is used by the ASM community and it is not going to be published).
Tech Report CSE-TR-336-97, EECS Dept, University of Michigan, 1997 |
The draft improves upon the ASM syntax (and appears here because it is used by the ASM community and it is not going to be published).