The following pages link to Jörg Bauer (Q3510782):
Displayed 6 items.
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- A Modal-Logic Based Graph Abstraction (Q3540408) (← links)
- An Appreciation of the Work of Reinhard Wilhelm (Q3593062) (← links)
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (Q3612006) (← links)
- A semantics for procedure local heaps and its abstractions (Q5276154) (← links)