Not registered as user yet

Name:Arka Bhattacharya
Affiliation:UC Berkeley

Contributions

Onward! 2015 Author of Toward tool support for interactive synthesis within the Onward! Papers-track