{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T15:23:41Z”，“时间戳”：1725549821598}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540272311“}，{”类型“：”电子“，“value”：“9783540316862”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11513988_1“，”type“：”book-capter“，”created“：”{“date-part”：[[2010,3,12]]，“date-time”：“2010-03-13:33:28Z”，“timestamp”：126840 0808000}，“页面”：“1-1”，“源”：“交叉引用”，“is-referenced-by-count”：6，“title”：[“程序分析和验证的随机化算法”]，“prefix”：“10.1007”，“author”：[{“given”：“George C.”，“family”：“Necula”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“Sumit”，”family“：”Gulwani“，”sequence“：”additional“，“afliation”:[]}]，“member”：“297”，“container-title”：[“计算机科学讲义”，“计算机辅助验证”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11513988_1.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,4,27]]，“date-time”：”2021-04-27T06:41Z“，“timestamp”：1619505941000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/11513988_1”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2005]]}，‘ISBN’：[”9783540272311“，”978354316862“]，”references-count“：0，”URL“：”http://\/dx.doi.org \/10.1007\/11513988_1“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“issn-type”：[{“type”:“print”，“value”：“0302-9743”}，{“类型”：“electronic”，“值”：“1611-3349”}]，“主题”：[]，“发布”：{“date-parts”：[[2005]]}}}