{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,4,25]]，“日期时间”：“2023-04-25T11:28:28Z”，“时间戳”：1682422108598}，“引用-计数”：0，“发布者”：“SCITEPRESS-科学技术出版物”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2020]]}，“DOI”：“10.5220\/0008966660352359”，“type”：“procedings-article”，“created”：{“date-parts”：[2020,3,13]]，“date-time”：“2020-03-13T10:19:51Z”，“timestamp”：1584094791000}，”source“：”Crossref“，”is-referenced-by-count“：6，”title“：[”CLARVA:Java程序的基于模型的剩余验证“]，”前缀“：”10.5220“，”作者“：[｛“给定”：“Shaun”，“family”：“Azzopardi”，“sequence”：“first”，“affiliation”：[｛“name”：“计算机科学系，信息和通信技术学院，马耳他Msida，----选择一个国家----”}]｝，｛“给定”：“Christian”，“family”：“Colombo”，“sequence”：“first”，“affiliation”：[｛“name”：“马耳他大学信息与通信技术学院计算机科学系，马耳他，Msida，Malta，---选择国家---”}]}，{“given”：“Gordon”，“family”：“Pace”，“sequence”：“first”，“affiliation”：[{“name”：“马耳他大学信息和通信技术学院计算科学系，---选择一个国家---”{]}]，“member”：“3171”，“event”：{“name”：“第八届模型驱动工程与软件开发国际会议”，“地点”：“马耳他瓦莱塔”，“开始”：{“日期-部件”：[[2020,2,25]]}，“结束”：{“日期-零件”：[2020,2,27]]}}，”集装箱-标签“：[“第八次模型驱动工程和软件开发国际大会论文集”]，“原文标题”：[“CLARVA:Java程序的基于模型的剩余验证”]，“deposed”：{“date-parts”：[[2020,3,17]]，“date-time”：“2020-03-17T19:00:50Z”，“timestamp”：1584471650000}，“score”：1，“resource”：{“primary”：}“URL”：“http://www.scitepress.org\/DigitalLibrary\/Link.aspx？doi=10.5220\/0008966660352359”}}，，“已发布”：{“日期-部分”：[2020]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.5220\/0008966660352359”，“relation”：{}，”subject“：[]，”published“：{”date-parts“：[[2020]]}}}