E.: Consistent integration for sequential Abstract State Machines (0)

by Nicolosi Asmundo, M Riccobene
Venue:In: International Workshop on Abstract State Machines. (2003) 324–340