Invariant functions and invariant relations: An alternative to invariant assertions

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

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'Invariant functions and invariant relations: An alternative to invariant assertions'. Together they form a unique fingerprint.

Keyphrases

Biochemistry, Genetics and Molecular Biology

Computer Science