Anne Hommelberg, Kristian F. D. Rietveld, Harry A. G. Wijshoff. Abstracting parallel program specification: a case study on k-means clustering. In Francesca Palumbo, Michela Becchi, Martin Schulz 0001, Kento Sato, editors, Proceedings of the 16th ACM International Conference on Computing Frontiers, CF 2019, Alghero, Italy, April 30 - May 2, 2019. pages 279-282, ACM, 2019. [doi]
Abstract is missing.