HPC Software Verification in Action: A Case Study with Tensor Transposition | IEEE Conference Publication | IEEE Xplore