Improving the Security of Infrastructure Software

Research output

Research output per year 2013 2013 2014 2014

• 1 Journal article
• 1 Conference article in Journal

Research output per year

Research output per year

Search results

• 2014

  Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

  Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., Oct 2014, In: Science of Computer Programming. 91, Part B, p. 141-160

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  File
  9 Citations (Scopus)

  616 Downloads (Pure)