%0 Conference Paper %1 conf/atva/SlabyST13 %A Slaby, Jiri %A Strejcek, Jan %A Trtík, Marek %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 193-207 %T Compact Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#SlabyST13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/SlabyST13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Slaby, Jiri and Strejcek, Jan and Trtík, Marek}, biburl = {https://www.bibsonomy.org/bibtex/235f51985058642f676874ccb43b444d2/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_15}, interhash = {fe40cfa7365170f1862763e96e029afc}, intrahash = {35f51985058642f676874ccb43b444d2}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T16:19:47.000+0200}, title = {Compact Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#SlabyST13}, volume = 8172, year = 2013 }