Asma Louhichi

Available identifiers

zbMath Open louhichi.asmaMaRDI QIDQ444370

List of research outcomes

Publication	Date of Publication	Type
Invariant functions and invariant relations: an alternative to invariant assertions	2012-11-12	Paper
A versatile concept for the analysis of loops	2012-08-14	Paper
Computing Preconditions and Postconditions of While Loops	2012-01-06	Paper
Reflexive transitive invariant relations: A basis for computing loop functions	2010-11-10	Paper
Relational Methods in the Analysis of While Loops: Observations of Versatility	2009-12-11	Paper

Research outcomes over time

This page was built for person: Asma Louhichi