Modern static security checking of C / C++ programs presented at SummerCon 2012

by Julien Vanegue,

Tags: Code Analysis SMT Solvers

Summary : N/A