2018 conference paper

Hybrid theorem proving as a lightweight method for verifying numerical software

Proceedings of the Second International Workshop on Software Correctness for HPC Applications, Correctness'18, 1–8.

By: A. Altuntas & J. Baugh

Source: ORCID
Added: December 12, 2018