Publikation

Titel

Proof Certificates and Non-linear Arithmetic Constraints

Publikationsart

Tagungsbeitrag

Alle Autoren

Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin

Buchtitel

Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)

Erscheinungsdatum

2011

Verlag

IEEE