DMCA

Interactive synthesis using free-form queries (2015)

Cached

Download Links

by Tihomir Gvero , Viktor Kuncak
Venue:In International Conference on Software Engineering, Demo Papers (ICSE Demo
Citations:2 - 1 self