@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