The following pages link to Claude Marché (Q604391):
Displaying 5 items.
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- Algebraic Methodology and Software Technology (Q5312984) (← links)
