LEADER 01359nam  2200349   450 
001 996575100903316
005 20230421102458.0
010   $a1-66546-335-X
035   $a(CKB)5590000001028469
035   $a(NjHacI)995590000001028469
035   $a(EXLCZ)995590000001028469
100   $a20230421d2022      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) /$fIEEE Computer Society
210  1$aPiscataway, New Jersey :$cIEEE Computer Society,$d2022.
215   $a1 online resource
311   $a1-66546-336-8 
330   $aThe goal of the Correctness Workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC The workshop will feature contributed papers and invited talks in this area.
517   $a2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications 
606   $aComputer programs$xVerification$vCongresses
615  0$aComputer programs$xVerification
676   $a005.14
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a996575100903316
996   $a2022 IEEE$92807321
997   $aUNISA