ISSE

Search

Reasoning about Abstract State Machines: The WAM Case Study

G. Schellhorn and W. Ahrendt

Reasoning about Abstract State Machines: The WAM Case Study

available via the J.UCS home page (in volume 3, issue 4)
published 1997 Journal of Universal Computer Science (J.UCS), 3(4):377-413