Toward a Provably-Correct Implementation of the JVM Bytecode Verifier Download Tags: HCSS 2001 Kestrel Institute Conference paper Research Organization HCSS '01 License: CC-2.5 Submitted by Timothy Thimmesch on Mon, 02/13/2012 - 15:25