Robert Stärk

• Abstract State Machines