QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Browse the full CAV paper archive.