{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:27:34Z","timestamp":1730194054514,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/acitt.2019.8779947","type":"proceedings-article","created":{"date-parts":[[2019,8,2]],"date-time":"2019-08-02T00:21:07Z","timestamp":1564705267000},"page":"285-288","source":"Crossref","is-referenced-by-count":2,"title":["Program Logics Based on Algebras with the Composition of Predicate Complement"],"prefix":"10.1109","author":[{"given":"Mykola","family":"Nikitchenko","sequence":"first","affiliation":[]},{"given":"Oksana","family":"Shkilniak","sequence":"additional","affiliation":[]},{"given":"Stepan","family":"Shkilniak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"409","article-title":"The underlying logic of Hoare logic","author":"blass","year":"2001","journal-title":"Current Trends in Theoretical Computer Science Entering the 21st Century World Scientific"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/357146.357150"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-94-010-1711-4_4"},{"key":"ref6","first-page":"263","article-title":"Algebras and logics of partial quasiary predicates","volume":"23","author":"nikitchenko","year":"2017","journal-title":"Algebra and Discrete Mathematics"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/978-3-319-03998-5_18"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/S0049-237X(98)80016-5"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-030-13929-2_4"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/363235.363259"},{"key":"ref9","article-title":"Logic for computer science","author":"gallier","year":"2015","journal-title":"foundations of automatic theorem proving"},{"key":"ref1","first-page":"1993","volume":"1","author":"abramsky","year":"0","journal-title":"Handbook of Logic in Computer Science"}],"event":{"name":"2019 9th International Conference on Advanced Computer Information Technologies (ACIT)","start":{"date-parts":[[2019,6,5]]},"location":"Ceske Budejovice, Czech Republic","end":{"date-parts":[[2019,6,7]]}},"container-title":["2019 9th International Conference on Advanced Computer Information Technologies (ACIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8767904\/8779853\/08779947.pdf?arnumber=8779947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:23:55Z","timestamp":1658262235000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8779947\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/acitt.2019.8779947","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}