A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.

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

Browse the full CADE paper archive.