References
Börger E, Butler M, Bowen JP, Boca P (eds) (2008) Abstract state machines, B and Z. In: First international conference on ABZ 2008, London, UK, September 16–18, 2008, volume 5238 of Lecture Notes in Computer Science. Springer. ISBN 978-3-540-87602-1
Börger E, Stärk R (2003) Abstract state machines: a method for high-level system design and analysis. Springer. ISBN 978-3-540-00702-9
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bowen, J.P. Egon Börger and Alexander Raschke: Modeling companion for software practitioners. Form Asp Comp 30, 761–762 (2018). https://doi.org/10.1007/s00165-018-0472-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-018-0472-4