Extending the Theory of Arrays: memset, memcpy, and Beyond
-
Author:
Stefan Falke, Florian Merz, Sinz, Carsten
-
Source:
In Revised Selected Papers of Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013