Olfa Mraihi

Available identifiers

zbMath Open mraihi.olfaMaRDI QIDQ444369

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: Olfa Mraihi