{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:31:14Z","timestamp":1730223074240,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/gcce.2014.7031344","type":"proceedings-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T14:58:51Z","timestamp":1423580331000},"page":"707-708","source":"Crossref","is-referenced-by-count":1,"title":["BMCLua: Verification of Lua programs in digital TV interactive applications"],"prefix":"10.1109","author":[{"given":"Francisco A. P.","family":"Januario","sequence":"first","affiliation":[]},{"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[]},{"given":"Vicente F.","family":"De Lucena","sequence":"additional","affiliation":[]},{"given":"Eddie B.","family":"De Lima Filho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"957","volume":"38","author":"cordeiro","year":"2012","journal-title":"SMT-Based Bounded Model Checking for Embedded ANSI-C Software"},{"key":"2","first-page":"644","author":"kurt","year":"2007","journal-title":"Beginning Lua Programming"},{"journal-title":"Abnt (brazilian association of technical standards) nbr 15606-2","year":"2007","key":"1"},{"journal-title":"The Definitive ANTLR Reference-Building Domain-Specific Languages","year":"2007","author":"parr","key":"5"},{"key":"4","first-page":"1","author":"brandao","year":"2010","journal-title":"Extended Features for the Ginga-NCL Environment Introducing the LuaTV API"}],"event":{"name":"2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2014,10,7]]},"location":"Tokyo","end":{"date-parts":[[2014,10,10]]}},"container-title":["2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7020225\/7031081\/07031344.pdf?arnumber=7031344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T20:01:21Z","timestamp":1602273681000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7031344\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/gcce.2014.7031344","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}