Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Michael Stegmaier
Latest
A Universal Control Construct for Abstract State Machines
Unified Syntax for Abstract State Machines
Cite
×