TY  - RPRT
TI  - Tool Support of Formal Methods for Privacy by Design
AU  - Sibylle Schupp
PY  - 2019
UR  - https://arxiv.org/abs/1903.11092
ID  - 1903.11092
ER  -