Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili. A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. In Andrei Voronkov, Laura Kovács, Nikolaj Bjørner, editors, Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. Volume 1 of EPiC Series, pages 152-166, EasyChair, 2010. [doi]
Abstract is missing.