A Tool-Assisted Framework for Certified Bytecode Verification

G. Barthe,Guillaume Dufay
DOI: https://doi.org/10.1007/978-3-540-24721-0_7
2004-03-29
Abstract:
What problem does this paper attempt to address?