Roman Manevich, T. Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine July 2008
In Static Analysis Symposium (SAS)
Publisher Springer VerlagAll copyrights reserved by Springer 2007.