TY  - RPRT
TI  - Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
AU  - Inna Vistbakka
AU  - Elena Troubitsyna
PY  - 2018
DO  - 10.4204/eptcs.271.8
UR  - https://arxiv.org/abs/1805.05521
ID  - 1805.05521
ER  -