TY  - RPRT
TI  - VERIFAS: A Practical Verifier for Artifact Systems
AU  - Yuliang Li
AU  - Alin Deutsch
AU  - Victor Vianu
PY  - 2017
UR  - https://arxiv.org/abs/1705.10007
ID  - 1705.10007
ER  -