Combining Induction, Deduction, and Structure for Verification and Synthesis
Seshia, Sanjit A.Volume:
103
Language:
english
Journal:
Proceedings of the IEEE
DOI:
10.1109/JPROC.2015.2471838
Date:
November, 2015
File:
PDF, 1.00 MB
english, 2015