Workshop: 6th International Workshop on Software Correctness for HPC Applications (Correctness '22)
Authors: Emmanuelle Saillard (French Institute for Research in Computer Science and Automation (INRIA))
Abstract: Announcement of the software correctness competition.