%0 Conference Proceedings
%F SJ10
%A Schrammel, Peter
%A Jeannet, Bertrand
%T Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs
%B Int. Workshop on Numerical and Symbolic Abstract Domains
%V 267
%N 1
%P 101-114
%S ENTCS
%I Elsevier
%D 2010