%0 Conference Paper %1 conf/smt/PalikarevaC14 %A Palikareva, Hristina %A Cadar, Cristian %B SMT %D 2014 %E Rümmer, Philipp %E Wintersteiger, Christoph M. %I CEUR-WS.org %K dblp %P 15 %T Multi-solver Support in Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/smt/smt2014.html#PalikarevaC14 %V 1163

@inproceedings{conf/smt/PalikarevaC14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Palikareva, Hristina and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/2f263ca25dea5ace5098febcdc5f949d4/dblp}, booktitle = {SMT}, crossref = {conf/smt/2014}, editor = {Rümmer, Philipp and Wintersteiger, Christoph M.}, ee = {https://ceur-ws.org/Vol-1163/paper-03.pdf}, interhash = {7d2f60742fbe8c5106d18455f5ce82ca}, intrahash = {f263ca25dea5ace5098febcdc5f949d4}, keywords = {dblp}, pages = 15, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T02:43:17.000+0200}, title = {Multi-solver Support in Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/smt/smt2014.html#PalikarevaC14}, volume = 1163, year = 2014 }