@InProceedings{Logozzo03,
  author =       {Francesco Logozzo},
  title =        {Class-level Modular Analysis for Object Oriented Languages},
  booktitle = {Proceedings of the 10th Static Analysis Symposium ({SAS} '03},
  month =        jun,
  year =         {2003},
  volume =       2694,
  series =       {Lectures Notes in Computer Science},
  publisher =    {Springer-Verlag},
}