Sciweavers

4716 search results - page 8 / 944
» Iterative-free program analysis
Sort
View
TOOLS
1992
IEEE
15 years 5 months ago
Object Behavior Analysis
Kenneth S. Rubin
84
Voted
ECOOP
1991
Springer
15 years 5 months ago
Object-Oriented Analysis and Top-Down Software Development
Dennis de Champeaux
80
Voted
IFIP
2010
Springer
14 years 8 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi