TY  - RPRT
TI  - SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction
AU  - Susmit Jha
AU  - Sanjit A. Seshia
PY  - 2013
UR  - https://arxiv.org/abs/1302.1920
ID  - 1302.1920
ER  -