{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:42:19Z","timestamp":1725464539686},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/rivf.2015.7049890","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T15:04:05Z","timestamp":1425395045000},"page":"144-150","source":"Crossref","is-referenced-by-count":0,"title":["Interaction analysis of annotated specification and program codes in Extended Static Checking"],"prefix":"10.1109","author":[{"family":"Truong-Thang Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Manh-Dong Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0195-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77505-8_27"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00313-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/373243.360220"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref6","article-title":"Java to guarded commands translation","author":"leino","year":"1998","journal-title":"Design Note ESCJ 16c ESC\/Java Source Distribution"},{"key":"ref5","article-title":"Verification condition splitting","author":"leino","year":"2008","journal-title":"Submitted Manuscript"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90098-9"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11804192_17","article-title":"Boogie: A modular reusable verifier for object-oriented programs","author":"barnett","year":"2006","journal-title":"Formal Methods for Components and Objects"},{"key":"ref9","article-title":"Esc\/Java user's manual","author":"leino","year":"2000","journal-title":"Tech Rep"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"}],"event":{"name":"2015 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF)","start":{"date-parts":[[2015,1,25]]},"location":"Can Tho, Vietnam","end":{"date-parts":[[2015,1,28]]}},"container-title":["The 2015 IEEE RIVF International Conference on Computing &amp; Communication Technologies - Research, Innovation, and Vision for Future (RIVF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7041252\/7049862\/07049890.pdf?arnumber=7049890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T02:37:51Z","timestamp":1498185471000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7049890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/rivf.2015.7049890","relation":{},"subject":[],"published":{"date-parts":[[2015,1]]}}}