Opening book details…
About this Engineering article
Combining Induction, Deduction, and Structure for Verification and Synthesis by Seshia, Sanjit A. is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Seshia, Sanjit A.
- Publisher
- IEEE; Institute of Electrical and Electronics Engineers; Institute of Electrical and Electronics Engineers (IEEE) (ISSN 0018-9219)
- Published
- 2015
- Field
- Engineering (Physical Sciences)