%0 Conference Paper %1 conf/popl/SankaranarayananSM04 %A Sankaranarayanan, Sriram %A Sipma, Henny %A Manna, Zohar %B POPL %D 2004 %E Jones, Neil D. %E Leroy, Xavier %I ACM %K dblp %P 318-329 %T Non-linear loop invariant generation using Gröbner bases. %U http://dblp.uni-trier.de/db/conf/popl/popl2004.html#SankaranarayananSM04 %@ 1-58113-729-X

@inproceedings{conf/popl/SankaranarayananSM04, added-at = {2021-06-25T00:00:00.000+0200}, author = {Sankaranarayanan, Sriram and Sipma, Henny and Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/2a064624116564d6e1ab7883683520b54/dblp}, booktitle = {POPL}, crossref = {conf/popl/2004}, editor = {Jones, Neil D. and Leroy, Xavier}, ee = {https://doi.org/10.1145/982962.964028}, interhash = {349a27bee31890b1b172d385ed0d1af5}, intrahash = {a064624116564d6e1ab7883683520b54}, isbn = {1-58113-729-X}, keywords = {dblp}, pages = {318-329}, publisher = {ACM}, timestamp = {2024-04-09T13:29:50.000+0200}, title = {Non-linear loop invariant generation using Gröbner bases.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2004.html#SankaranarayananSM04}, year = 2004 }