%0 Conference Paper %1 conf/synasc/NeubauerS0MFTBF16 %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 SC²@SYNASC %D 2016 %E Ábrahám, Erika %E Davenport, James H. %E Fontaine, Pascal %I CEUR-WS.org %K dblp %P 32-38 %T Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. %U http://dblp.uni-trier.de/db/conf/synasc/sc2016.html#NeubauerS0MFTBF16 %V 1804

@inproceedings{conf/synasc/NeubauerS0MFTBF16, added-at = {2023-03-10T00:00:00.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/2efd199e20481baafb91fb279801b4233/dblp}, booktitle = {SC²@SYNASC}, crossref = {conf/synasc/2016sc}, editor = {Ábrahám, Erika and Davenport, James H. and Fontaine, Pascal}, ee = {https://ceur-ws.org/Vol-1804/paper-07.pdf}, interhash = {99b23fe60bfa343c15bdef1b250e6782}, intrahash = {efd199e20481baafb91fb279801b4233}, keywords = {dblp}, pages = {32-38}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:42:00.000+0200}, title = {Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.}, url = {http://dblp.uni-trier.de/db/conf/synasc/sc2016.html#NeubauerS0MFTBF16}, volume = 1804, year = 2016 }