%0 Conference Paper %1 conf/aspdac/TempelHD22 %A Tempel, Sören %A Herdt, Vladimir %A Drechsler, Rolf %B ASP-DAC %D 2022 %I IEEE %K dblp %P 160-165 %T Automated Detection of Spatial Memory Safety Violations for Constrained Devices. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2022.html#TempelHD22 %@ 978-1-6654-2135-5

@inproceedings{conf/aspdac/TempelHD22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Tempel, Sören and Herdt, Vladimir and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2f243110cae6a7aadc5f13d6f842a1b8e/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2022}, ee = {https://doi.org/10.1109/ASP-DAC52403.2022.9712570}, interhash = {fee374383407797c50463f8f24aae338}, intrahash = {f243110cae6a7aadc5f13d6f842a1b8e}, isbn = {978-1-6654-2135-5}, keywords = {dblp}, pages = {160-165}, publisher = {IEEE}, timestamp = {2024-04-09T13:33:04.000+0200}, title = {Automated Detection of Spatial Memory Safety Violations for Constrained Devices.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2022.html#TempelHD22}, year = 2022 }