Code V' detects software security flaws

Publication date: 30-11-2011 12:28

For further information: http://ucv.ci.uc.pt/ucv/media/code-v-detects-software-security-flaws