An integrated approach to high integrity software verification

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An integrated approach to high integrity software verification'. Together they form a unique fingerprint.

Engineering & Materials Science