Result: Verified bytecode verifiers

Title:
Verified bytecode verifiers
Authors:
Klein, Gerwin *, Nipkow, Tobias
Source:
In Theoretical Computer Science 11 April 2003 298(3):583-626
Database:
ScienceDirect