LEADER 01178nam  2200337 n 450 
001 9910554100703321
005 20230615181228.0
010   $a1-66542-061-8
035   $a(CKB)4100000012203958
035   $a(NjHacI)994100000012203958
035   $a(EXLCZ)994100000012203958
100   $a20230615d2021      uu         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2021 IEEE/ACM $e5th International Workshop on Software Correctness for HPC Applications (Correctness) /$fInstitute of Electrical and Electronics Engineers
210  1$aLos Alamitos, CA :$cIEEE Computer Society, Conference Publishing Services (CPS),$d2021.
215   $a1 online resource (vi, 49 pages)
311   $a1-66541-107-4 
517   $a2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications 
606   $aComputer software$xVerification$vCongresses
615  0$aComputer software$xVerification
676   $a005.14
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a9910554100703321
996   $a2021 IEEE$92518023
997   $aUNINA