The following pages link to Dominic Steinhöfel (Q777888):
Displaying 6 items.
- The trace modality (Q777889) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Q5045479) (← links)
- Abstract execution (Q6535957) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)
