DMCA

Machine-checking the Java Specification: Proving Type-Safety (1998)

by David von Oheimb , Tobias Nipkow
Venue:FORMAL SYNTAX AND SEMANTICS OF JAVA
Citations:14 - 0 self