Pelleau, Marie Abstract Domains in Constraint Programming - Elsevier 2015 ISBN: 9781785480102 Source: EBOOK Subjects--Topical Terms: Computer Science