Marcel Dausend

Latest

• A Universal Control Construct for Abstract State Machines
• Unified Syntax for Abstract State Machines
• Introducing Aspect-Oriented Specification for Abstract State Machines