Verified Java bytecode verification - Klein, Gerwin (Verfasser) (Technische Universität München, 2003)