| Title | Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis |
| Publication Type | Book Chapter |
| Year of Publication | 2017 |
| Authors | Gascon, A., A. Tiwari, B. Carmer, and U. Mathur |
| Book Title | Computer Aided Verification |
| Pagination | 86–103 |
| Publisher | Springer International Publishing |
| URL | https://doi.org/10.1007/978-3-319-63390-9_5 |
| DOI | 10.1007/978-3-319-63390-9_5 |
Output type:
Project: