Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke

First Page		Document Content
Date: 2014-04-20 14:22:40		Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Download Document from Source Website File Size: 69,43 KB Share Document on Facebook