Inferring Interval-Valued Floating-Point Preconditions.

Jonas Krmer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

Browse the full TACAS paper archive.