Pages that link to "Item:Q3184788"
From MaRDI portal
The following pages link to Certified Static Analysis by Abstract Interpretation (Q3184788):
Displaying 5 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)
- (Q4414380) (← links)
- (Q4471721) (← links)
- Static analysis: a brief survey (Q4644578) (← links)