Login / Signup
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.
Zhenyu Qian
Published in:
Formal Syntax and Semantics of Java (1999)
Keyphrases
</>
formal specification
databases
fine grained