International Workshop on Software Correctness for HPC Applications (2. : 2018 : Dallas, Tex.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Dallas, Tex. Homepage (1) GND 2018