518 search results - page 1 / 104 » Abstract Interpretation-Based Protection |
127
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
117
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
124
Voted
CP
2007
Springer
15 years 10 months ago
2007
Springer
89
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
104
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
