%0 Conference Paper %1 conf/sigsoft/BeltRD09 %A Belt, Jason %A Robby, %A Deng, Xianghua %B ESEC/SIGSOFT FSE %D 2009 %E van Vliet, Hans %E Issarny, Valérie %I ACM %K dblp %P 355-364 %T Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2009.html#BeltRD09 %@ 978-1-60558-001-2

@inproceedings{conf/sigsoft/BeltRD09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Belt, Jason and Robby and Deng, Xianghua}, biburl = {https://www.bibsonomy.org/bibtex/27891af6d8eb231f2694351a3a9c262a6/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2009}, editor = {van Vliet, Hans and Issarny, Valérie}, ee = {https://doi.org/10.1145/1595696.1595762}, interhash = {f8697dd8231a9df3a2644e44292f298b}, intrahash = {7891af6d8eb231f2694351a3a9c262a6}, isbn = {978-1-60558-001-2}, keywords = {dblp}, pages = {355-364}, publisher = {ACM}, timestamp = {2024-04-09T17:52:23.000+0200}, title = {Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2009.html#BeltRD09}, year = 2009 }