A Theory of Arrays with set and copy Operations
-
Author:
Stephan Falke, Carsten Sinz, Florian Merz
-
Source:
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Seiten 98-108