%O Report 
%F jeannetrr08
%A Jeannet, B.
%T Relational interprocedural analysis of concurrent programs
%N 6671
%I INRIA
%8 October
%D 2008