JUCS - Journal of Universal Computer Science 3(4): 230-232, doi: 10.3217/jucs-003-04
Ten Years of Gurevich's Abstract State Machines
Egon
Börger
‡
‡ University of Pisa, Pisa, Italy
Corresponding author:
Egon
Börger
(
boerger@di.unipi.it
)
©
Egon
Börger
.
This article is freely available under the
J.UCS Open Content License
.
Citation:
Börger E (1997) Ten Years of Gurevich's Abstract State Machines. JUCS - Journal of Universal Computer Science 3(4): 230-232.
https://doi.org/10.3217/jucs-003-04