Verification as learning geometric concepts (2013)

by R Sharma, S Gupta, B Hariharan, A Aiken, A V Nori
Venue:In SAS