From program verification to program synthesis

TitleFrom program verification to program synthesis
Publication TypeConference Papers
Year of Publication2010
AuthorsSrivastava S, Gulwani S, Foster JS
Conference NameACM SIGPLAN Notices
Date Published2010///