Asserting Bytecode Safety.

Martin Wildmoser, Tobias Nipkow

Browse the full ESOP paper archive.