David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner. Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases.
SAS - 19th International Static Analysis Symposium - 2012, Sep 2012, Deauville, France.
⟨hal-00758890⟩