{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:05:52Z","timestamp":1751515552336,"version":"3.41.0"},"publisher-location":"Singapore","reference-count":7,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819646555"},{"type":"electronic","value":"9789819646562"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-4656-2_6","type":"book-chapter","created":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T02:37:33Z","timestamp":1743820653000},"page":"151-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Software Engineering Experiences of\u00a0an\u00a0Optimist"],"prefix":"10.1007","author":[{"given":"Jifeng","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,5]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Li, Q., Xu, Q. (eds.): Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. LNCS, vol. 14080. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8","DOI":"10.1007\/978-3-031-40436-8"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Zhu, H.: Jifeng he at oxford and beyond: an appreciation. In [1], pp. 3\u201318. https:\/\/doi.org\/10.1007\/978-3-031-40436-8_1","DOI":"10.1007\/978-3-031-40436-8_1"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M.: AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems \u2013 A Challenge for Formal Methods In this volume (2025)","DOI":"10.1007\/978-981-96-4656-2_4"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Gomes, C., Kristensen, M.H., Talasila, P., Feng, H., Wright, T., Larsen, P.G.: Digital Twin Tutorial: The Incubator Case Study. In this volume (2025)","DOI":"10.1007\/978-981-96-4656-2_3"},{"key":"6_CR5","unstructured":"He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. The McGraw-Hill International Series in Software Engineering (1995)"},{"key":"6_CR6","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall Series in Computer Science (1998). http:\/\/www.unifyingtheories.org\/"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Soos, M., Sourav Chakraborty, S., Meel, K.S.: Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing. In this volume (2025)","DOI":"10.1007\/978-981-96-4656-2_5"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-4656-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:00:46Z","timestamp":1751454046000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-4656-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819646555","9789819646562"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-4656-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"5 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}