Program derivation by correctness enhancements

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Program derivation by correctness enhancements'. Together they form a unique fingerprint.

Engineering & Materials Science