HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Florian Merz

Publications
A Theory of Arrays with set and copy Operations
Stephan Falke, Carsten Sinz and Florian Merz
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

bitvectors, copy, integers, memcpy, memmove, memset, SET, SMT, Theory of Arrays.

Copyright © 2012-2025 easychair.org. All rights reserved.