%0 Conference Paper %1 conf/mbmv/NeubauerSBMFTBF17 %A Neubauer, Felix %A Scheibler, Karsten %A Becker, Bernd %A Mahdi, Ahmed %A Fränzle, Martin %A Teige, Tino %A Bienmüller, Tom %A Fehrer, Detlef %B MBMV %D 2017 %E Große, Daniel %E Drechsler, Rolf %I Shaker Verlag %K %P 53-54 %T Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#NeubauerSBMFTBF17 %@ 978-3-8440-4996-1

@inproceedings{conf/mbmv/NeubauerSBMFTBF17, added-at = {2023-12-12T22:51:36.000+0100}, author = {Neubauer, Felix and Scheibler, Karsten and Becker, Bernd and Mahdi, Ahmed and Fränzle, Martin and Teige, Tino and Bienmüller, Tom and Fehrer, Detlef}, biburl = {https://www.bibsonomy.org/bibtex/21de1a6051f63325969f19faea115155e/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2017}, editor = {Große, Daniel and Drechsler, Rolf}, interhash = {4eee7ef3f096497b93e603e64ba205cc}, intrahash = {1de1a6051f63325969f19faea115155e}, isbn = {978-3-8440-4996-1}, keywords = {}, pages = {53-54}, publisher = {Shaker Verlag}, timestamp = {2023-12-12T22:51:36.000+0100}, title = {Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#NeubauerSBMFTBF17}, year = 2017 }