Idea: Writing Secure C Programs with SecProve presented at ESSoS 2013

by Myla m. Archer, Elizabeth Heitmeyer,

Summary : N/A