Logic Representation of Programs to Detect Arithmetic Anomalies.

Fevzi Belli Thomas Illgen Logic Representation of Programs to Detect Arithmetic Anomalies. 2216- 2000 conf/euromicro/2000 EUROMICRO http://doi.ieeecomputersociety.org/10.1109/EURMIC.2000.874421 db/conf/euromicro/euromicro2000.html#BelliI00