von Oheimb and Tobias Nipkow. Machine-checking the Java Speci Proving Type-Safety (1998)

by David
Venue:Formal Syntax and Semantics of Java, LNCS