Not registered as user yet

Name: Premkumar Devanbu

Affiliation: University of California, Davis

Contributions

ESEC/FSE 2018Author of On the Naturalness of Proofs within the New Ideas and Emerging Results-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile