%0 Conference Paper %1 conf/sbesc/AlvesCF15 %A da S. Alves, Erickson H. %A Cordeiro, Lucas C. %A de Lima Filho, Eddie Batista %B SBESC %D 2015 %I IEEE Computer Society %K dblp %P 96-101 %T Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/sbesc/sbesc2015.html#AlvesCF15 %@ 978-1-5090-0182-8

@inproceedings{conf/sbesc/AlvesCF15, added-at = {2023-03-23T00:00:00.000+0100}, author = {da S. Alves, Erickson H. and Cordeiro, Lucas C. and de Lima Filho, Eddie Batista}, biburl = {https://www.bibsonomy.org/bibtex/29dd8fb9cacd3f34c9823fa0b5142757c/dblp}, booktitle = {SBESC}, crossref = {conf/sbesc/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/SBESC.2015.25}, interhash = {3ac10bccec9eefaacf68ca781edc073c}, intrahash = {9dd8fb9cacd3f34c9823fa0b5142757c}, isbn = {978-1-5090-0182-8}, keywords = {dblp}, pages = {96-101}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:10:39.000+0200}, title = {Fault Localization in Multi-threaded C Programs Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/sbesc/sbesc2015.html#AlvesCF15}, year = 2015 }