2019 conference paper

Bounded Verification of Sparse Matrix Computations

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43.

By: T. Dyer, A. Altuntas & J. Baugh

Source: ORCID
Added: March 30, 2020