%0 Conference Proceedings
%F jeannet09b
%A Jeannet, B.
%T Relational interprocedural verification of concurrent programs
%B Software Engineering and Formal Methods, SEFM'09
%I IEEE
%U http://pop-art.inrialpes.fr/people/bjeannet/publications/sefm09.pdf
%8 November
%D 2009