TY  - RPRT
TI  - HPC Software Verification in Action: A Case Study with Tensor Transposition
AU  - Mutlu, Erdal
AU  - Panyala, Ajay R.
AU  - Krishnamoorthy, Sriram
PY  - 2018
DO  - 10.1109/correctness.2018.00006
UR  - https://www.osti.gov/biblio/1591770
ID  - 1591770
ER  -