"Invariant Generation for Multi-Path Loops with Polynomial Assignments."

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics