Automatic generation of polynomial invariants of bounded degree using abstract interpretation | Publicación