Java bytecode verification: algorithms and formalizations (0)

by Xavier Leroy
Venue:Journal of Automated Reasoning