Using invariant functions and invariant relations to compute loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili

Browse the full ICSE paper archive.