The following pages link to Wided Ghardallou (Q444368):
Displayed 4 items.
- A versatile concept for the analysis of loops (Q444373) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Invariant functions and invariant relations: an alternative to invariant assertions (Q1760096) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)