{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T05:29:37Z","timestamp":1676957377045},"reference-count":0,"publisher":"IEEE","isbn-type":[{"value":"9781665463355","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/correctness56720.2022","type":"proceedings","created":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T19:51:15Z","timestamp":1675194675000},"source":"Crossref","is-referenced-by-count":0,"title":["2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)"],"prefix":"10.1109","member":"263","event":{"name":"2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)","location":"Dallas, TX, USA","start":{"date-parts":[[2022,11,13]]},"end":{"date-parts":[[2022,11,18]]}},"container-title":[],"original-title":[],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T22:49:48Z","timestamp":1676933388000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=10027508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9781665463355"],"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/correctness56720.2022","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}