Description
This repository contains the formal Event-B models of the Swiftaid system for automated Gift Aid that were developed using the Rodin tool.
| Date made available | 2020 |
|---|---|
| Publisher | Zenodo |
Swiftaid Rodin Event-B models
- David Williams (Creator)
- Salaheddin Darwish (Creator)
- Steve Schneider (Creator)
- David R. Michael (Creator)
Dataset