TY  - RPRT
TI  - Specification Construction Using Behaviours, Equivalences, and SMT Solvers
AU  - Paul C. Attie
AU  - Fadi A. Zaraket
AU  - Mohamad Noureddine
AU  - Farah El-Hariri
PY  - 2013
UR  - https://arxiv.org/abs/1307.6901
ID  - 1307.6901
ER  -