Skip to content

Interactive Synthesis Using Free-Form Queries.

Tihomir Gvero, Viktor Kuncak

VenueA*ICSE
Year2015
ProceedingsICSE (2)

Browse the full ICSE paper archive.