Automated derivation of application-aware error detectors using static analysis: The trusted illiac approach

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Automated derivation of application-aware error detectors using static analysis: The trusted illiac approach'. Together they form a unique fingerprint.

Engineering & Materials Science