Bounded Verification of Sparse Matrix Computations
- Tristan Dyer
- , Alper Altuntas
- , John Baugh
- North Carolina State University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8
Scopus
citations