{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T00:51:52Z”，“时间戳”：1648601512046}，“引用-计数”：10，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]”，“DOI“：”10.1109\/icfem.2000.873804“，“type”：“procesdings-article”，“created”：{“date-parts”：[[2002,11,7]]，“date-time”：“2002-11-07T23:28:47Z”，“timestamp”：1036711727000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“VSPEC中的编写规范”]，“prefix”：“10.1109”，“author”：[{“given”:“A.”，“family”：“Venkataraman”，“sequence”：“first”，“affiliation”：[”]}，{“给定”：“M”，“家庭”：“Rangarajan”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“P.”，“family”：“Alexander”，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref4 109\/MS.1985.231756“}，{“key”：“ref10”，“author”：“woodcock”，“year”：“1996”，“journal-title”：“Using Z Specification Refinement and Proof”}，{“key”：“ref6”，“年份”：“996”，“日记标题”：“Language Reference Manual”}：“PVS:A Prototype Verification System”，“volume”：“607”，“author”：“owre”，“year”：“1992”，“journal title”：“第十届国际自动推导大会”}，{“key”：“ref7”，“year”：“0”，“journal title”：“Formal Methods-The B Method”}，{“key”：“ref2”，“article title”：“PVS教程简介”，“author”：“crow”，“year”：“1995”，“journal title”：“WIFT'95”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1008766530096”}，{”key“：”ref1“，”author“：”ashenden“，”year“：”1996“，”journal-title“：”The Designers Guide to VHDL“}]，”event“：{”name“：”IEEE ICFEM 2000。第三届IEEE正式工程方法国际会议”，“地点”：“英国约克”，“缩写词”：“ICFEM-00”}，“集装箱标签”：[“ICFEM 2000。第三届IEEE正式工程方法国际会议“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/7014\/18911\/00873804.pdf？arnumber=873804”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,10]]，“date-time”：2017-03-10T22:20:06Z“，”timestamp“：1489184406000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/ieeexplore.ieee.org\/document\/873804\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[null]]}，《references-count》：10，“URL”:“http://\/dx.doi.org\/10.109\/icfem.2000 873804“，”关系“：{}，”主题“：[]}}