[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Colin Campbell and Yuri Gurevich, "Table ASMs". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 286-290. |
---|---|
Summary: | An extended abstract describing a two-dimensional (or tabular) form for specifying ASMs. |
Subjects: | ASM Extensions |
Download: | From Foundations of Software Engineering at Microsoft Research in MS Word 97 Format. |
Notes: |