%0 Conference Proceedings
%F SJ10b
%A Sotin, Pascal
%A Jeannet, Bertrand
%A Rival, Xavier
%T Concrete Memory Models for Shape Analysis
%B Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010
%V 267
%N 1
%P 139-150
%S ENTCS
%I Elsevier
%D 2010