Registered user since Fri 23 Oct 2015
Name:Aws Albarghouthi
Affiliation:University of Wisconsin–Madison
Personal website:http://cs.wisc.edu/~aws
Contributions
| POPL 2016 | Maximal Specification Synthesis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile