DMCA

Extending the Theory of Arrays: memset, memcpy, and Beyond

by Stephan Falke , Florian Merz , Carsten Sinz
Venue:In Proc. VSTTE’13
Citations:1 - 0 self