{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T19:29:40Z","timestamp":1694114980243},"publisher-location":"New York, NY, USA","reference-count":0,"publisher":"ACM","isbn-type":[{"value":"1595931856","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005,11,13]]},"DOI":"10.1145\/1103846","type":"proceedings","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"source":"Crossref","is-referenced-by-count":0,"title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"prefix":"10.1145","member":"320","published-online":{"date-parts":[[2005,11,13]]},"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":[],"original-title":[],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T18:17:40Z","timestamp":1693851460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/proceedings\/10.1145\/1103846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"ISBN":["1595931856"],"references-count":0,"alternative-id":["10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846","relation":{},"subject":[],"published":{"date-parts":[[2005,11,13]]}}}