Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.

Alper Altuntas, John W. Baugh Jr.

Browse the full SC paper archive.