%0 Conference Paper %1 conf/synasc/AsavoaeAL10 %A Asavoae, Irina Mariuca %A Asavoae, Mihail %A Lucanu, Dorel %B SYNASC %D 2010 %E Ida, Tetsuo %E Negru, Viorel %E Jebelean, Tudor %E Petcu, Dana %E Watt, Stephen M. %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 133-141 %T Path Directed Symbolic Execution in the K Framework. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2010.html#AsavoaeAL10 %@ 978-0-7695-4324-6

@inproceedings{conf/synasc/AsavoaeAL10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Asavoae, Irina Mariuca and Asavoae, Mihail and Lucanu, Dorel}, biburl = {https://www.bibsonomy.org/bibtex/2d3f0e16eb62a79673f051a001dd121b8/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2010}, editor = {Ida, Tetsuo and Negru, Viorel and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2010.78}, interhash = {9a473502b6d063f0d08d8040dc13e188}, intrahash = {d3f0e16eb62a79673f051a001dd121b8}, isbn = {978-0-7695-4324-6}, keywords = {dblp}, pages = {133-141}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:14:07.000+0200}, title = {Path Directed Symbolic Execution in the K Framework.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2010.html#AsavoaeAL10}, year = 2010 }