Author:Olfa Mraihi

Publications
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani and Ali Mili In:WING 2010. Workshop on Invariant Generation 2010