Not registered as user yet

Name: Jason Breck

Affiliation: University of Wisconsin - Madison

Contributions

POPL 2018 Non-Linear Reasoning For Invariant Synthesis
Non-Linear Reasoning For Invariant Synthesis
Show activities from other conferences

POPL 2018-profile
View general profile