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

Ali Mili, Jules Desharnais, Jean Raymond Gagné

Research output: Contribution to journal › Article › peer-review

7 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.