CoqJVM: An executable specification of the Java virtual machine using dependent types (2005)

Cached

Download Links

by Robert Atkey
Venue:of Lecture Notes in Computer Science
Citations:3 - 0 self