From program verification to program synthesis
Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.Volume:
45
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1707801.1706337
Date:
January, 2010
File:
PDF, 534 KB
english, 2010