%0 Conference Paper %1 conf/rv/HansenSS09 %A Hansen, Trevor %A Schachte, Peter %A Søndergaard, Harald %B RV %D 2009 %E Bensalem, Saddek %E Peled, Doron A. %I Springer %K %P 76-92 %T State Joining and Splitting for the Symbolic Execution of Binaries. %U http://dblp.uni-trier.de/db/conf/rv/rv2009.html#HansenSS09 %V 5779 %@ 978-3-642-04693-3

@inproceedings{conf/rv/HansenSS09, added-at = {2023-12-13T07:09:16.000+0100}, author = {Hansen, Trevor and Schachte, Peter and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2b8466b6f1c112624feab668b001df0c2/admin}, booktitle = {RV}, crossref = {conf/rv/2009}, editor = {Bensalem, Saddek and Peled, Doron A.}, ee = {https://www.wikidata.org/entity/Q57665013}, interhash = {b5cc231a5f8ee794e38163fe951e4a9e}, intrahash = {b8466b6f1c112624feab668b001df0c2}, isbn = {978-3-642-04693-3}, keywords = {}, pages = {76-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:09:16.000+0100}, title = {State Joining and Splitting for the Symbolic Execution of Binaries.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2009.html#HansenSS09}, volume = 5779, year = 2009 }