%0 Conference Proceedings
%F jeannetmine09
%A Jeannet, B.
%A Miné, A.
%T {APRON}: A Library of Numerical Abstract Domains for Static Analysis
%B Computer Aided Verification, CAV'2009
%V 5643
%P 661-667
%S LNCS
%D 2009