Verifying Imprecisely Working Arithmetic Circuits.

Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis

Browse the full DATE paper archive.