Java Bytecode Verification: Algorithms and Formalizations (2003)

by Xavier Leroy
Venue:JOURNAL OF AUTOMATED REASONING
Citations:83 - 0 self