di.e L. Chen, A. Miné, & P. Cousot, A Sound Floating-Point Polyhedra Abstract Domain

copyright notice, Springer copyright notice
Last modified: Saturday, 30-Oct-2010 17:08:23 CEST