Registered user since Fri 28 Oct 2016

Name:Burak Sahin
Affiliation:Georgia Institute of Technology

Contributions

POPL 2017 Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track