Sciweavers

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