Sanjit A. Seshia. Combining Induction, Deduction, and Structure for Verification and Synthesis. Proceedings of the IEEE, 103(11):2036-2051, 2015. [doi]
@article{Seshia15, title = {Combining Induction, Deduction, and Structure for Verification and Synthesis}, author = {Sanjit A. Seshia}, year = {2015}, doi = {10.1109/JPROC.2015.2471838}, url = {http://dx.doi.org/10.1109/JPROC.2015.2471838}, researchr = {https://researchr.org/publication/Seshia15}, cites = {0}, citedby = {0}, journal = {Proceedings of the IEEE}, volume = {103}, number = {11}, pages = {2036-2051}, }