Automatic Modular Abstractions for Linear Constraints

doi 10.1145/1480881.1480899
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press


Related search