%0 Conference Paper %1 conf/issta/StrejcekT12 %A Strejcek, Jan %A Trtík, Marek %B ISSTA %D 2012 %E Heimdahl, Mats Per Erik %E Su, Zhendong %I ACM %K dblp %P 155-165 %T Abstracting path conditions. %U http://dblp.uni-trier.de/db/conf/issta/issta2012.html#StrejcekT12 %@ 978-1-4503-1454-1

@inproceedings{conf/issta/StrejcekT12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Strejcek, Jan and Trtík, Marek}, biburl = {https://www.bibsonomy.org/bibtex/283dd89288327a93a78c375a0233e4721/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2012}, editor = {Heimdahl, Mats Per Erik and Su, Zhendong}, ee = {https://doi.org/10.1145/2338965.2336772}, interhash = {f3c4ac73ab1e65a571f4f2e92d89e53c}, intrahash = {83dd89288327a93a78c375a0233e4721}, isbn = {978-1-4503-1454-1}, keywords = {dblp}, pages = {155-165}, publisher = {ACM}, timestamp = {2024-04-09T20:41:32.000+0200}, title = {Abstracting path conditions.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2012.html#StrejcekT12}, year = 2012 }