Strongest invariant functions: Their use in the systematic analysis of while statements

Ali Mili, Jules Desharnais, Jean Raymond Gagné

Research output: Contribution to journalArticlepeer-review

18 Scopus citations

Fingerprint

Dive into the research topics of 'Strongest invariant functions: Their use in the systematic analysis of while statements'. Together they form a unique fingerprint.