{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T10:52:52Z","timestamp":1720608772082},"reference-count":0,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computer Languages, Systems & Structures"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1016\/j.cl.2016.06.002","type":"journal-article","created":{"date-parts":[[2016,6,28]],"date-time":"2016-06-28T01:15:20Z","timestamp":1467076520000},"page":"1","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"P1","title":["Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation"],"prefix":"10.1016","volume":"47","author":[{"given":"Deepak","family":"D\u05f3Souza","sequence":"first","affiliation":[]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[]}],"member":"78","container-title":["Computer Languages, Systems & Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1477842416300811?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1477842416300811?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T22:30:43Z","timestamp":1536618643000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1477842416300811"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":0,"alternative-id":["S1477842416300811"],"URL":"https:\/\/doi.org\/10.1016\/j.cl.2016.06.002","relation":{},"ISSN":["1477-8424"],"issn-type":[{"value":"1477-8424","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation","name":"articletitle","label":"Article Title"},{"value":"Computer Languages, Systems & Structures","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.cl.2016.06.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"simple-article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}