%0 Conference Proceedings
%F SJVG11
%A Sotin, Pascal
%A Jeannet, Bertrand
%A Védrine, Franck
%A Goubault, É
%T Policy Iteration within Logico-Numerical Abstract Domains
%B Automated Technology for Verification and Analysis, ATVA'11
%V 6996
%P 290-305
%S LNCS
%D 2011