Login / Signup

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

Martin BrainVijay Victor D'SilvaAlberto GriggioLeopold HallerDaniel Kroening
Published in: SAS (2013)
Keyphrases