Symposium on Abstraction, Reformulation, and Approximation
Ninth Symposium of Abstraction, Reformulation, and Approximation
Reading Tools
Automatic Synthesi...
Bernardini, Smith
Search conference