Verified Bytecode Verification and Type-Certifying Compilation (2003)

by Gerwin Klein , Martin Strecker
Venue:JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:6 - 1 self