Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dana Fisman
conf.researchr.org general profile
POPL 2016 profile
Not registered as user
Name:
Dana Fisman
Affiliation:
University of Pennsylvania
Contributions
2016
POPL
Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
Share
x
Sun 26 Oct 21:02