LEADER 01185nam  2200349   450 
001 996574772503316
005 20230421104632.0
010   $a1-7281-6015-4
024 7 $a10.1109/Correctness49594.2019
035   $a(CKB)4920000000250849
035   $a(NjHacI)994920000000250849
035   $a(EXLCZ)994920000000250849
100   $a20230421d2019      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway, NJ :$cIEEE,$d2019.
215   $a1 online resource (vi, 53 pages) $cillustrations (some color)
311   $a1-7281-6016-2 
517   $a2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications 
606   $aHigh performance computing$vCongresses
615  0$aHigh performance computing
676   $a004.3
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a996574772503316
996   $a2019 IEEE$92247201
997   $aUNISA