Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays
SMT, 2014.
@inproceedings{SMT-2014-ChristH, author = "Jürgen Christ and Jochen Hoenicke", booktitle = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}", editor = "Philipp Rümmer and Christoph M. Wintersteiger", openpdf = "http://ceur-ws.org/Vol-1163/paper-06.pdf", pages = "39--49", publisher = "{CEUR-WS.org}", series = "{CEUR Workshop Proceedings}", title = "{Weakly Equivalent Arrays}", url = "http://ceur-ws.org/Vol-1163/#paper-06", volume = 1163, year = 2014, }