@inproceedings{KahGT-NFM-11,
  Author =	 {Temesghen Kahsai and Yeting Ge and Cesare Tinelli},
  Title =	 {Instantiation-Based Invariant Discovery},
  Booktitle =	 {Proceedings of the 3rd NASA Formal Methods Symposium
                  (Pasadena, CA, USA)},
  Editor =	 {M. Bobaru and K. Havelundand G. Holzmann and
                  R. Joshi},
  Publisher =	 {Springer},
  Pages =	 {192--207},
  Series =	 {Lecture Notes in Computer Science},
  Volume =	 6617,
  Year =	 2011,
}