Pages that link to "Item:Q5312985"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312985):
Displaying 4 items.
- Summary-Based Inter-Procedural Analysis via Modular Trace Refinement (Q2978543) (← links)
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Static Analysis (Q5466564) (← links)