Cited By
View all- Srivastava SGulwani SFoster J(2013)Template-based program verification and program synthesisInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0223-415:5-6(497-518)Online publication date: 1-Oct-2013
- Srivastava SGulwani SFoster J(2010)From program verification to program synthesisACM SIGPLAN Notices10.1145/1707801.170633745:1(313-326)Online publication date: 17-Jan-2010
- Srivastava SGulwani SFoster JHermenegildo MPalsberg J(2010)From program verification to program synthesisProceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1706299.1706337(313-326)Online publication date: 17-Jan-2010