{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T17:53:10Z","timestamp":1673632390045},"reference-count":0,"publisher":"Oxford University Press (OUP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1093\/comjnl\/bxu068","type":"journal-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T02:32:25Z","timestamp":1410316345000},"page":"1495-1529","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of Annotated Textual Use-Cases"],"prefix":"10.1093","volume":"58","author":[{"given":"Viliam","family":"Simko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hauzar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Bures","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,9,8]]},"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/58\/7\/1495\/860653\/bxu068.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T21:17:00Z","timestamp":1503436620000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxu068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,8]]},"references-count":0,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2015,6,26]]},"published-print":{"date-parts":[[2015,7]]}},"alternative-id":["10.1093\/comjnl\/bxu068"],"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxu068","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,8]]}}}