![](/img/cover-not-exists.png)
[ACM Press the First International Workshop - Denver, CO, USA (2017.11.12-2017.11.17)] Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 - Towards Self-Verification in Finite Difference Code Generation
Hückelheim, Jan, Luo, Ziqing, Luporini, Fabio, Kukreja, Navjot, Lange, Michael, Gorman, Gerard, Siegel, Stephen, Dwyer, Matthew, Hovland, PaulYear:
2017
Language:
english
DOI:
10.1145/3145344.3145488
File:
PDF, 404 KB
english, 2017