Merkliste 
 1 Ergebnisse 
 
1

JVM Bytecode Verification Without Dataflow Analysis:

Bayley, Ian ; Shiel, Sam
Electronic Notes in Theoretical Computer Science.  141 (2005)  1 - p. 203-220 , 2005