A.V.: Verification as learning geometric concepts. (2013)

by R Sharma, S Gupta, B Hariharan, A Aiken, Nori
Venue:SAS 2013. LNCS,