TY  - RPRT
TI  - Deriving Correct High-Performance Algorithms
AU  - Devangi N. Parikh
AU  - Maggie E. Myers
AU  - Robert A. van de Geijn
PY  - 2017
UR  - https://arxiv.org/abs/1710.04286
ID  - 1710.04286
ER  -