@inproceedingsKupferschmidEtAl:DDECS11, Author = {Kupferschmid, Stefan and Becker, Bernd and Teige, Tino and Fränzle, Martin}, Title = {Proof Certificates and Non-linear Arithmetic Constraints}, Year = {2011}, Month = {01}, Publisher = {IEEE}, Booktitle = {Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)}, type = {inproceedings} @COMMENTBibtex file generated on