%0 Conference Proceedings
%F JS11
%A Jeannet, Bertrand
%A Sotin, Pascal
%T Inferring Effective Types for Static Analysis of C Programs
%B Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011
%S ENTCS
%C Venice (Italy)
%D 2011