{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T06:18:58Z”，“时间戳”：1648793938010}，“引用计数”：0，“发布者”：“IEEE Compute.Sco”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DO”I“：”10.1109\/icfem.1997.630391“，“type”：“procesdings-article”，“created”：{“date-parts”：[[2005,8,24]]，“date-time”：“2005-08-24T20:29:31Z”，“timestamp”：1124915371000}，“source”：”Crossref“，“is-referenced-by-count”：0，“title”：[“Whther Formal Methods:A Please To Investigate New Applications”]，“prefix”：“10.1109”，“author”：[{“given”：：“C.B.”，“family”：“Jones”，“sequence”：“first”，“affiliation”“：[]}]，“member”：“263”，“event”：{“name”：“第一届IEEE正式工程方法国际会议”，“location”：“Hiroshima，Japan”，“缩写词”：“ICFEM-97”}，“container-title”：[“Proceedings First IEEE International Conference on Formal Engineering Methods”]，“original-tittle”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx3\/4977\/13682\/00630391.pdf？arnumber=630391”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,9]]，“日期时间”：“2017-03-09T19:48:10Z”，“时间戳”：1489088890000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.iee.org\/document\/630391\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[null]]}，”引用计数“：0，”URL“：”http://\/dx.doi.org\/10.109\/icfem.1997.630391“，”关系“：{}，‘主题’：[]}