The following pages link to (Q4217939):
Displaying 4 items.
- A theory of observables for logic programs (Q1854446) (← links)
- On the verification of finite failure (Q2575838) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Logic programs as specifications in the inductive verification of logic programs (Q4923522) (← links)
