{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,2]，“日期-时间”：“2024-03-02T09:05Z”，“时间戳”：1709370545185}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短集装箱”：[]，“published-print”：{“date-parts”：[[1975]]}，“DOI”：“10.1145\/800027.808472”，“type”：“proceedings-article”，“created”：{“date-ports”：[2006,2,15]]，“date-time”：“2006-02-15T13:54:46Z”，“timestamp”：1140011686000}，”source“Crossref”，“is-referenced-by-count”：11，“title”：[“An interactive program verification system”]，“prefix”：“101145“，”作者“：[{”给定“：“Donald I”，“family”：“Good”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Ralph L.”，“家族”：“London”，“sequence”:“additional”，“filiation（从属关系）：[]{，{'given“：”W.W.“，”family“：”Bledsoe“，”sequence“：”additional“，”affiliation:[]}]，“member”：“320”，“event”：{“name”：“the international conference”，”location“”：“Las Angeles，California”，“number”：，“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”，“SIGMETRICS，ACM测量和评估特别兴趣小组“]，“start”：{“date-parts”：[[1975,4,21]]}，“end”：{“date-parts”：[[1975,4,13]]}}，”container-title“：[“Reliable software国际会议记录-”]，“original-title”：[]，“link”：[{“URL”：“http://\/dl.acm.org//ft_gateway.cfm？id=808472&ftid=84426&dwn=1”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2016,12,16]]，“日期-时间”：“2016-12-16T03:02:25Z”，“时间戳”：1481857345000}，“分数”：1，“资源”：{“主要”：{URL“：”http://\/portal.acm.org\/citation.cfm？doid=800027.808472“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1975]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/800027.808472”，“relation”：{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/390016.808472”，“asserted-by”：“object”}]}，“主题”：[]，“发布”：{“日期部分”：[[1975]}}