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