Template-based program verification and program synthesis
Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.Volume:
15
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-012-0223-4
Date:
October, 2013
File:
PDF, 514 KB
english, 2013