{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:27:45Z","timestamp":1731475665868,"version":"3.28.0"},"reference-count":0,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,6,24]]},"DOI":"10.1049\/iet-sen.2010.9053","type":"journal-article","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T23:16:10Z","timestamp":1276643770000},"page":"179-180","source":"Crossref","is-referenced-by-count":0,"title":["Automated compositional verification"],"prefix":"10.1049","volume":"4","author":[{"given":"D.","family":"Giannakopoulou","sequence":"first","affiliation":[]},{"given":"C.S.","family":"Pa\u0303sa\u0303reanu","sequence":"additional","affiliation":[]}],"member":"265","container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2010.9053?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T14:23:35Z","timestamp":1731421415000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2010.9053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,24]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6,24]]}},"alternative-id":["10.1049\/iet-sen.2010.9053"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2010.9053","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,6,24]]}}}