%0 Conference Paper %1 conf/rv/FiedorV12 %A Fiedor, Jan %A Vojnar, Tomás %B RV %D 2012 %E Qadeer, Shaz %E Tasiran, Serdar %I Springer %K dblp %P 35-41 %T ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. %U http://dblp.uni-trier.de/db/conf/rv/rv2012.html#FiedorV12 %V 7687 %@ 978-3-642-35632-2

@inproceedings{conf/rv/FiedorV12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Fiedor, Jan and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/23d45895794c50169272f5ab736c22c3c/dblp}, booktitle = {RV}, crossref = {conf/rv/2012}, editor = {Qadeer, Shaz and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-642-35632-2_5}, interhash = {045a0e0b294d0b349c5a825c9e5352a2}, intrahash = {3d45895794c50169272f5ab736c22c3c}, isbn = {978-3-642-35632-2}, keywords = {dblp}, pages = {35-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:18.000+0200}, title = {ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2012.html#FiedorV12}, volume = 7687, year = 2012 }