114
Voted
WETICE
2006
IEEE
15 years 9 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...