The following pages link to (Q4779098):
Displayed 4 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)