Skip to content
cs-conference-ranking.org

Non-linear loop invariant generation using Gröbner bases.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

VenueA*POPL
Year2004
ProceedingsPOPL
DBLP recordconf/popl/SankaranarayananSM04 ↗

Browse the full POPL paper archive.