%0 Journal Article %1 journals/scp/OlesenHLP14 %A Olesen, Mads Chr. %A Hansen, René Rydhof %A Lawall, Julia L. %A Palix, Nicolas %D 2014 %J Sci. Comput. Program. %K dblp %P 141-160 %T Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. %U http://dblp.uni-trier.de/db/journals/scp/scp91.html#OlesenHLP14 %V 91

@article{journals/scp/OlesenHLP14, added-at = {2022-04-09T00:00:00.000+0200}, author = {Olesen, Mads Chr. and Hansen, René Rydhof and Lawall, Julia L. and Palix, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/29d8ecfcfb62ec3a899318612a2a836b4/dblp}, ee = {https://doi.org/10.1016/j.scico.2012.10.011}, interhash = {21ad9cfc41ffb5265af7cfe5357db14d}, intrahash = {9d8ecfcfb62ec3a899318612a2a836b4}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {141-160}, timestamp = {2024-04-09T05:28:39.000+0200}, title = {Coccinelle: Tool support for automated CERT C Secure Coding Standard certification.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp91.html#OlesenHLP14}, volume = 91, year = 2014 }