Legislation-Driven Development of a Gift Aid system using Event-B. / Williams, David M. ; Darwish, Salaheddin; Schneider, Steve; Michael, David R. .
In: Formal Aspects of Computing, Vol. 32, No. 2, 25.05.2020, p. 251-273.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 251-273 |
Number of pages | 23 |
Journal | Formal Aspects of Computing |
Volume | 32 |
Issue number | 2 |
DOIs | |
Publication status | Published - 25 May 2020 |
ID: 37810043