May 1997 Draft of the ASM Guide

  • Yuri Gurevich

Tech Report CSE-TR-336-97, EECS Dept, University of Michigan, 1997 |

Télécharger BibTex

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).