Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}