@inproceedings{rodrikapurICTAC04,
  author = {E. Rodr{\'\i}guez-Carbonell and D. Kapur},
  title = "{Program Verification Using Automatic Generation of Invariants}",
  booktitle = "{1st International Colloquium on Theoretical Aspects of Computing (ICTAC'04)}",
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume= "3407",
  year = "2005",
  pages="325--340"
}