Sciweavers

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