| Title | Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis |
| Publication Type | Audiovisual |
| Year of Publication | 2017 |
| Authors | Tiwari, A. |
| Series Title | "Analysis of Software and Hardware" @ CAV 2017 |
| Publisher | CAV: International Conference on Computer-Aided Verification |
| City | Heidelberg, Germany |
| URL | https://www.youtube.com/watch?v=DnSK3PX3WaA |
Output type:
Project: