Sciweavers

12272 search results - page 92 / 2455
» Experimental program analysis
Sort
View
TOOLS
1992
IEEE
15 years 10 months ago
Object Behavior Analysis
Kenneth S. Rubin
128
Voted
IFIP
2010
Springer
15 years 29 days ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi