Result: Verified Java bytecode verification
Title:
Verified Java bytecode verification / Gerwin Klein
Involved:
Manufacturing:
2003
Scope:
1 Online-Ressource
Format:
Language:
English
Dissertation note:
Dissertation, Technische Universität München, 2003
Subject Added Keywords: