%0 Conference Proceedings
%F SJ11a
%A Schrammel, Peter
%A Jeannet, Bertrand
%T Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
%B Static Analysis Symposium, SAS'11
%V 6887
%P 233-248
%S LNCS
%C Venice (Italy)
%D 2011