DMCA

Verified Java Bytecode Verification (2003)

by Gerwin Klein , Technische Universität München , Gerwin Klein , Univ. -prof Dr , Alois Knoll , Eidgenössische Technische Hochschule
Venue:PhD thesis, Institut für Informatik, Technische Universität München
Citations:18 - 5 self