## Laura Kovács, Andrei Voronkov

*Finding Loop Invariants for Programs over Arrays Using a Theorem Prover*

FASE, 2009.

@inproceedings{FASE-2009-KovacsV, author = "Laura Kovács and Andrei Voronkov", booktitle = "{Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-642-00593-0_33", isbn = "978-3-642-00592-3", pages = "470--485", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Finding Loop Invariants for Programs over Arrays Using a Theorem Prover}", volume = 5503, year = 2009, }