152.
Posegga
,
Joachim
;
Vogt
,
Harald
Java Byte Code Verification using Model Checking
Proc. OOPSLA Workshop on Formal Underpinnings of Java ,
Herausgeber: Vancouver, Canada
1998
http://web.sec.uni-passau.de/papers/OOPSLA98.pdf
Java Byte Code Verification using Model Checking
Proc. OOPSLA Workshop on Formal Underpinnings of Java ,
Herausgeber: Vancouver, Canada
1998
http://web.sec.uni-passau.de/papers/OOPSLA98.pdf