@InProceedings{Logozzo04,
  author =       {Francesco Logozzo},
  title =        {Automatic Inference of Class Invariants},
  booktitle = {Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation ({VMCAI} '04)},
  month =        jan,
  year =         {2004},
  volume =       2937, 
  series =       {Lectures Notes in Computer Science},
  publisher =    {Springer-Verlag},
}