TY  - RPRT
TI  - Program Correctness, Verification and Testing for Exascale (Corvette)
AU  - Sen, Koushik
AU  - Iancu, Costin
AU  - Demmel, James W
PY  - 2018
DO  - 10.2172/1418165
UR  - https://www.osti.gov/biblio/1418165
ID  - 1418165
ER  -