%0 Conference Paper %1 conf/scopes/BrauerNS10 %A Brauer, Jörg %A Noll, Thomas %A Schlich, Bastian %B SCOPES %D 2010 %E Deprettere, Ed F. %E Stefanov, Todor P. %I ACM %K dblp %P 3 %T Interval analysis of microcontroller code using abstract interpretation of hardware and software. %U http://dblp.uni-trier.de/db/conf/scopes/scopes2010.html#BrauerNS10 %@ 978-1-4503-0084-1

@inproceedings{conf/scopes/BrauerNS10, added-at = {2020-09-05T00:00:00.000+0200}, author = {Brauer, Jörg and Noll, Thomas and Schlich, Bastian}, biburl = {https://www.bibsonomy.org/bibtex/2c9d88ed91c14bc7d62b74429f3c1fdc6/dblp}, booktitle = {SCOPES}, crossref = {conf/scopes/2010}, editor = {Deprettere, Ed F. and Stefanov, Todor P.}, ee = {https://doi.org/10.1145/1811212.1811216}, interhash = {3f12caf2163966991c3feb6f247c3d88}, intrahash = {c9d88ed91c14bc7d62b74429f3c1fdc6}, isbn = {978-1-4503-0084-1}, keywords = {dblp}, pages = 3, publisher = {ACM}, timestamp = {2020-09-09T15:03:47.000+0200}, title = {Interval analysis of microcontroller code using abstract interpretation of hardware and software.}, url = {http://dblp.uni-trier.de/db/conf/scopes/scopes2010.html#BrauerNS10}, year = 2010 }