Java Bytecode Verification by Model Checking (1999)

by David A Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
Venue:In CAV '99: Proceedings of the 11th International Conference on Computer Aided Verification