jeannetrr08

B. Jeannet. Relational interprocedural analysis of concurrent programs. Research Report INRIA, No 6671, October 2008.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@TechReport{jeannetrr08,
   Author = {Jeannet, B.},
   Title = {Relational interprocedural analysis of concurrent programs},
   Number = {6671},
   Institution = {INRIA},
   Month = {October},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)