Legislation-driven development of a Gift Aid system using Event-B

David Williams, Salaheddin Darwish, Steve Schneider, David R. Michael

Research output: Contribution to journalArticlepeer-review

95 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Legislation-driven development of a Gift Aid system using Event-B'. Together they form a unique fingerprint.

Engineering

Computer Science