Automated Precision Analysis: A Polynomial Algebraic Approach.

David Boland, George A. Constantinides

Browse the full FCCM paper archive.