DMCA

Effective word-level interpolation for software verification (2011)

Cached

Download Links

by Alberto Griggio
Venue:In FMCAD. IEEE Computer Society
Citations:8 - 3 self