Sound Numerical Computations in Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Browse the full CAV paper archive.