%0 Conference Paper %1 conf/aswec/LinMS15 %A Lin, Yude %A Miller, Tim %A Søndergaard, Harald %B ASWEC %D 2015 %I IEEE Computer Society %K dblp %P 213-222 %T Compositional Symbolic Execution Using Fine-Grained Summaries. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2015.html#LinMS15 %@ 978-1-4673-9390-4

@inproceedings{conf/aswec/LinMS15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Lin, Yude and Miller, Tim and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2bd6ec66cff3927e8ca0e910fd36dfd0c/dblp}, booktitle = {ASWEC}, crossref = {conf/aswec/2015}, ee = {https://www.wikidata.org/entity/Q57664989}, interhash = {d8a3fc9d7cfa93987042aa60581e5857}, intrahash = {bd6ec66cff3927e8ca0e910fd36dfd0c}, isbn = {978-1-4673-9390-4}, keywords = {dblp}, pages = {213-222}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:10:37.000+0200}, title = {Compositional Symbolic Execution Using Fine-Grained Summaries.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2015.html#LinMS15}, year = 2015 }