Bytecode Verification by Model Checking (0)

by D Basin, S Friedrich, M Gawkowski
Venue:Journal of Automated Reasoning. Special