The following pages link to Asma Louhichi (Q444370):
Displayed 5 items.
- A versatile concept for the analysis of loops (Q444373) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Invariant functions and invariant relations: an alternative to invariant assertions (Q1760096) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
- Relational Methods in the Analysis of While Loops: Observations of Versatility (Q3651520) (← links)