*Result*: Verified Java bytecode verification
*Title*:
Verified Java bytecode verification / Gerwin Klein
*Author/editor-in-chief*:
*Manufacture*:
2003
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Technische Universität München, 2003
*Subject Added Keywords*: