Rebiha, R., & 		Moura, A.
2012 Jul 16.  Algebraic Formal Methods for Generating Invariants. Proceedings of the Thesis and Dissertation Contest (CTD). [Online] :