Login / Signup
David R. Michael
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
St Century
Economic Development
Knowledge Based Systems
Data Driven
Top Venues
Formal Aspects Comput.
</>
Publications
</>
David M. Williams
,
Salaheddin Darwish
,
Steve Schneider
,
David R. Michael
Legislation-driven development of a Gift Aid system using Event-B.
Formal Aspects Comput.
32 (2-3) (2020)