Public

Checking Roundoff Errors using Counterexample-Guided Narrowing

Published • Aug 16, 2010

Authors:

P. Abdulla

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!