Sciweavers

2213 search results - page 15 / 443
» Software Security
Sort
View
60
Voted
KBSE
2005
IEEE
15 years 5 months ago
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy