Proving the soundness of a java bytecode verifier specification in isabelle/hol (1999)

by Cornelia Pusch
Venue:In TACAS ’99: Proceedings of the 5th International Conference on Tools and Algorithms for