Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_4 ◽

2008 ◽

pp. 39-41 ◽

Author(s):

Gerhard Schellhorn

Download Full-text