Sciweavers

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