Bytecode Verification by Model Checking (2003)

by David Basin , Stefan Friedrich , Marek Gawkowski
Venue:JOURNAL OF AUTOMATED REASONING. SPECIAL
Citations:9 - 0 self