BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions.

Laurent Arditi BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. 34-48 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#Arditi96