TY  - RPRT
TI  - Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis
AU  - Sanjit A. Seshia
PY  - 2012
UR  - https://arxiv.org/abs/1201.0979
ID  - 1201.0979
ER  -