Login / Signup
The abstract state machines method for modular design and analysis of programming languages.
Egon Börger
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
programming language
software engineering
logic programming
databases
high level
object oriented