Mathematics for reasoning about loop functions

@article{Mili2009MathematicsFR,
  title={Mathematics for reasoning about loop functions},
  author={Ali Mili and Shir Aharon and Chaitanya Nadkarni},
  journal={Sci. Comput. Program.},
  year={2009},
  volume={74},
  pages={989-1020}
}
Highly Cited
This paper has 28 citations. REVIEW CITATIONS