Machine-Checking the Java Specification: Proving Type-Safety
Published in Lecture notes in computer science • Jan 1, 1999
NobleIDNI3P76W07R23S38
Authors:,
David von Oheimb
Tobias Nipkow
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!