%0 Conference Paper %1 conf/pldi/VenetB04 %A Venet, Arnaud %A Brat, Guillaume P. %B PLDI %D 2004 %E Pugh, William W. %E Chambers, Craig %I ACM %K dblp %P 231-242 %T Precise and efficient static array bound checking for large embedded C programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2004.html#VenetB04 %@ 1-58113-807-5

@inproceedings{conf/pldi/VenetB04, added-at = {2024-10-06T00:00:00.000+0200}, author = {Venet, Arnaud and Brat, Guillaume P.}, biburl = {https://www.bibsonomy.org/bibtex/23b7b016e93ada287247983ae5521c3d3/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2004}, editor = {Pugh, William W. and Chambers, Craig}, ee = {https://doi.org/10.1145/996893.996869}, interhash = {8dd472bdb0b841e0d6316ced02312e4b}, intrahash = {3b7b016e93ada287247983ae5521c3d3}, isbn = {1-58113-807-5}, keywords = {dblp}, pages = {231-242}, publisher = {ACM}, timestamp = {2024-10-07T08:40:16.000+0200}, title = {Precise and efficient static array bound checking for large embedded C programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2004.html#VenetB04}, year = 2004 }