%0 Conference Paper %1 conf/vstte/FalkeMS13 %A Falke, Stephan %A Merz, Florian %A Sinz, Carsten %B VSTTE %D 2013 %E Cohen, Ernie %E Rybalchenko, Andrey %I Springer %K dblp %P 108-128 %T Extending the Theory of Arrays: memset, memcpy, and Beyond. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#FalkeMS13 %V 8164 %@ 978-3-642-54107-0

@inproceedings{conf/vstte/FalkeMS13, added-at = {2017-12-14T00:00:00.000+0100}, author = {Falke, Stephan and Merz, Florian and Sinz, Carsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2123297bdebf10cfc20969940ba257756/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2013}, editor = {Cohen, Ernie and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-54108-7_6}, interhash = {9dad38fab30d7a50c5a2891c98c309a8}, intrahash = {123297bdebf10cfc20969940ba257756}, isbn = {978-3-642-54107-0}, keywords = {dblp}, pages = {108-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:40:56.000+0200}, title = {Extending the Theory of Arrays: memset, memcpy, and Beyond.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#FalkeMS13}, volume = 8164, year = 2013 }