{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T19:54:08Z","timestamp":1694116448283},"publisher-location":"New York, NY, USA","reference-count":0,"publisher":"ACM","isbn-type":[{"value":"9781450332170","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10,18]]},"DOI":"10.1145\/2663171","type":"proceedings","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"source":"Crossref","is-referenced-by-count":1,"title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"prefix":"10.1145","member":"320","published-online":{"date-parts":[[2014,10,18]]},"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["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","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","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-04T13:35:43Z","timestamp":1693834543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/proceedings\/10.1145\/2663171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"ISBN":["9781450332170"],"references-count":0,"alternative-id":["10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171","relation":{},"subject":[],"published":{"date-parts":[[2014,10,18]]}}}