Abstract State Machines: a unifying view
β
Egon BΓΆrger
π
Article
π
2005
π
Elsevier Science
π
English
β 248 KB