Template-based Program Verification and Program Synthesis

by Saurabh Srivastava , Sumit Gulwani , Jeffrey S. Foster
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER