{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,31]]，“日期时间”：“2024-05-31T14:32:17Z”，“时间戳”：1717165937857}，“发布者位置”：“Cham”，“引用计数”：0，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319088662”，“类型”：”打印“}，{“值”：“9783319088679”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-319-08867-9_7“，”type“：”book-capter“，”created“：”{“date-part”：[[2014.6,28]]，“date-time”：“2014-06-28T11:37:30Z”，“timestamp”：140 3955450000}，“页面”：“106-113”，“源”：“交叉引用”，“is-referenced-by-count”：96，“title”：[“SMACK:从验证程序实现中解耦源语言详细信息”]，“prefix”：“10.1007”，“author”：[{“given”：“Zvonimir”，“family”：“Rakamari\u0107”，“sequence”：“first”，“affiliation”：[]}，{“given”:Michael，“failment”：“Emmi”，”sequence“：”additional“，“afliation”:[]}]，“member”：“297”，”container-title“：[“计算机辅助验证”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-319-08867-9_7”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2014,6,28]，“日期-时间”：“2014-06-28T11:38:06Z”，“timestamp”：1403955486000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3319-08867-9_7”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2014年]}，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-08867-9_7”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”