TY  - RPRT
TI  - A method for unbounded verification of privacy-type properties
AU  - Lucca Hirschi
AU  - David Baelde
AU  - Stéphanie Delaune
PY  - 2019
UR  - https://arxiv.org/abs/1710.02049
ID  - 1710.02049
ER  -