From program verification to program synthesis
| Title | From program verification to program synthesis |
| Publication Type | Conference Papers |
| Year of Publication | 2010 |
| Authors | Srivastava S, Gulwani S, Foster JS |
| Conference Name | ACM SIGPLAN Notices |
| Date Published | 2010/// |