Verifying while loops with invariant relations

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

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'Verifying while loops with invariant relations'. Together they form a unique fingerprint.

Engineering & Materials Science