Mechanical inference of invariants for FOR-loops

Stefan Kauer, Jürgen F. H. Winkler. Mechanical inference of invariants for FOR-loops. Journal of Symbolic Computation, 45(11):1101-1113, 2010. [doi]

Authors

Stefan Kauer

This author has not been identified. Look up 'Stefan Kauer' in Google

Jürgen F. H. Winkler

This author has not been identified. Look up 'Jürgen F. H. Winkler' in Google