Pages that link to "Item:Q4930730"
From MaRDI portal
The following pages link to Modelling Metamorphism by Abstract Interpretation (Q4930730):
Displaying 4 items.
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- Adversarial reachability for program-level security analysis (Q6535227) (← links)
- Abstract interpretation of indexed grammars (Q6536284) (← links)