TY  - RPRT
TI  - Analyzing Alloy Formulas using an SMT Solver: A Case Study
AU  - Aboubakr Achraf El Ghazi
AU  - Mana Taghdiri
PY  - 2015
UR  - https://arxiv.org/abs/1505.00672
ID  - 1505.00672
ER  -