TY  - RPRT
TI  - Verifying Policy Enforcers
AU  - Oliviero Riganelli
AU  - Daniela Micucci
AU  - Leonardo Mariani
AU  - Yliès Falcone
PY  - 2017
UR  - https://arxiv.org/abs/1707.07473
ID  - 1707.07473
ER  -