DMCA

Practical Verification Condition Generation for a Bytecode Language (2015)

Cached

Download Links

by David J. Pearce