Bytecode Verification by Model Checking (2003)

Cached

Download Links

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