ASMs in the Classroom: Personal Experience

  • Yuri Gurevich

Logics of Specification Languages | , pp. 599-602

Download BibTex

We share our experience of using abstract state machines for teaching computation theory at the University of Michigan.