μJava: Embedding a Programming Language in a Theorem Prover (2000)

by Tobias Nipkow , David von Oheimb , Cornelia Pusch
Venue:Foundations of Secure Computation, volume 175 of NATO Science Series F: Computer and Systems Sciences
Citations:13 - 0 self