Sciweavers

DAC
1996
ACM

Word Level Model Checking - Avoiding the Pentium FDIV Error

14 years 4 months ago
Word Level Model Checking - Avoiding the Pentium FDIV Error
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1996
Where DAC
Authors Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
Comments (0)