*Result*: Describing the Semantics of Java and Proving Type Soundness.
Title:
Describing the Semantics of Java and Proving Type Soundness.
Authors:
Source:
Formal Syntax and Semantics of Java. :41-82
Availability:
Database:
dblp computer science bibliography