Visible to the public Automated Security Analysis: Tool Support for Evaluating C Code

Submitted by TimTh on Fri, 07/01/2011 - 8:52am. Contributors:

Presented as part of the 2009 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Automated Security Analysis: Tool Support for Evaluating C Code
Switch to experimental viewer