The Formal Definition of Anlauff's extensible Abstract State Machines. TIK-Report 136 (2002)

by P Kutter
Venue:Swiss Federal Institute of Technology (ETH