![](/img/cover-not-exists.png)
[IEEE 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) - Denver, CO, USA (2019.11.18-2019.11.18)] 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) - Bounded Verification of Sparse Matrix Computations
Dyer, Tristan, Altuntas, Alper, Baugh, JohnYear:
2019
DOI:
10.1109/correctness49594.2019.00010
File:
PDF, 2.38 MB
2019