The following pages link to Martin Schäf (Q633285):
Displaying 8 items.
- Doomed program points (Q633286) (← links)
- Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities (Q2233499) (← links)
- Finding Inconsistencies in Programs with Loops (Q3460079) (← links)
- Gamifying Program Analysis (Q3460089) (← links)
- Severity Levels of Inconsistent Code (Q3460549) (← links)
- Quantified Heap Invariants for Object-Oriented Programs (Q4645747) (← links)
- Error Invariants (Q4647843) (← links)
- A Theory for Control-Flow Graph Exploration (Q5166718) (← links)
