000 00481nam a2200145Ia 4500
008 230209s2019 xx 000 0 und d
022 _a978-1-7281-6015-3
022 _a978-1-7281-6016-0
041 _aeng
245 _a2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)
260 _bIEEE
_c2019
500 _aProceeding
650 _aComputing and Processing
856 _uhttps://ieeexplore.ieee.org/servlet/opac?punumber=8949332
999 _c22748
_d22748