TY  - RPRT
TI  - Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
AU  - Ali Abbassi
AU  - Nancy A. Day
AU  - Derek Rayside
PY  - 2019
UR  - https://arxiv.org/abs/1906.05881
ID  - 1906.05881
ER  -