A Sound Floating-Point Polyhedra Abstract Domain - Sciweavers

24

click to vote

more APLAS 2008 ...

www.di.ens.fr

Tweet