"Theoretical and Practical Approaches for Teaching Parallel Code Correctness."

Carlos Redondo, Ritu Arora, Trung Nguyen Ba (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics