{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:32:51Z","timestamp":1760131971016},"publisher-location":"Boston, MA","reference-count":1,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_48","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"527-535","source":"Crossref","is-referenced-by-count":7,"title":["Proof of Properties in Avionics"],"prefix":"10.1007","author":[{"given":"Jean","family":"Souyris","sequence":"first","affiliation":[]},{"given":"Denis","family":"Favre-F\u00e9lix","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., and Schoen, D., (1999). Applying formal proof techniques to avionics software: A pragmatic approach. In Wing, J.M, Woodcock, J., and Davies, J., editors, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM\u201999, volume II of Toulouse, France, Lecture Notes in Computer Science 1709, pages 1798\u20131815. Springer.","key":"48_CR1","DOI":"10.1007\/3-540-48118-4_45"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:21Z","timestamp":1619672901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":1,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_48","relation":{},"subject":[]}}