The following pages link to Karl-Heinz Pennemann (Q3416076):
Displayed 9 items.
- (Q3416077) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Satisfiability of High-Level Conditions (Q3541979) (← links)
- Weakest Preconditions for High-Level Programs (Q3541980) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- Graph Transformations (Q5292603) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)
- Formal Methods in Software and Systems Modeling (Q5710414) (← links)