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