%0 Conference Paper %1 conf/spin/RomanoE13 %A Romano, Anthony %A Engler, Dawson R. %B SPIN %D 2013 %E Bartocci, Ezio %E Ramakrishnan, C. R. %I Springer %K dblp %P 301-319 %T Expression Reduction from Programs in a Symbolic Binary Executor. %U http://dblp.uni-trier.de/db/conf/spin/spin2013.html#RomanoE13 %V 7976 %@ 978-3-642-39175-0

@inproceedings{conf/spin/RomanoE13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Romano, Anthony and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/2e02b0bf20483b584051e7b6c1edbd373/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2013}, editor = {Bartocci, Ezio and Ramakrishnan, C. R.}, ee = {https://doi.org/10.1007/978-3-642-39176-7_19}, interhash = {df5ec16aa53164891371f98c10d70823}, intrahash = {e02b0bf20483b584051e7b6c1edbd373}, isbn = {978-3-642-39175-0}, keywords = {dblp}, pages = {301-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Expression Reduction from Programs in a Symbolic Binary Executor.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2013.html#RomanoE13}, volume = 7976, year = 2013 }