{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:24:39Z","timestamp":1725575079605},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233183"},{"type":"electronic","value":"9783540301325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30132-5_69","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:15:59Z","timestamp":1294971359000},"page":"487-493","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Program Verification Using Binary Trees and Program Slicing"],"prefix":"10.1007","author":[{"given":"Masakazu","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noriyoshi","family":"Mizukoshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiko","family":"Tsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Lanin, V., Shasha,: A Symmetric Concurrent B-Tree Algorithm. In: Proc. 1986 Fall joint Computer Conference, IEEE, pp. 380\u2013389 (1986)","key":"69_CR1"},{"unstructured":"Weiser, M.: Program slicing. In: Prc. 5t\u0302h International Conference Software Engineering, pp. 438\u2013449 (1981)","key":"69_CR2"},{"key":"69_CR3","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software Testing. John Wiley & Sons, Chichester (1979)"},{"unstructured":"Takahashi, M., Mizukoshi, N., Tsuda, K.: A Proposal for Verifica-tion Method of High Reliability Flight Software. In: Forum on Information Technology (2003)","key":"69_CR4"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30132-5_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:49:30Z","timestamp":1620013770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30132-5_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233183","9783540301325"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30132-5_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}