The abstract state machines method for modular design and analysis of programming languages
Egon Börger · Journal of Logic and Computation · 2014
Journal Article The abstract state machines method for modular design and analysis of programming languages Get access Egon Börger Egon Börger Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 27, Issue 2, March 2017, Pages 417–439, https://doi.org/10.1093/logcom/exu077 Published: 18 December 2014 Article history Received: 26 May 2013 Published: 18 December 2014