Ravichandhran Madhavan and Viktor Kuncak. On template-based inference of rich invariants in Leon. Technical Report EPFL-REPORT-190578, EPFL, November 2013.

[ bib ] Back