TY  - RPRT
TI  - Incremental Database Design using UML-B and Event-B
AU  - Ahmed Al-Brashdi
AU  - Michael Butler
AU  - Abdolbaghi Rezazadeh
PY  - 2018
DO  - 10.4204/eptcs.271.3
UR  - https://arxiv.org/abs/1805.05514
ID  - 1805.05514
ER  -