Verified Java Bytecode Verification ; Verifizierte Java Bytecode-Verifikation - Klein, Gerwin; Nipkow, Tobias (Prof. Ph.D.); Basin, David (Prof. Ph.D.) (Technical University of Munich Technische Universität München, 2007)