{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:32Z","timestamp":1725495752293},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766360"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76637-7_20","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T07:47:52Z","timestamp":1195544872000},"page":"302-302","source":"Crossref","is-referenced-by-count":0,"title":["Static and Dynamic Analysis: Better Together"],"prefix":"10.1007","author":[{"given":"Sriram K.","family":"Rajamani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1287624.1287636","volume-title":"FSE 2007","author":"P. Chandrasekaran","year":"2007","unstructured":"Chandrasekaran, P., Conway, C.L., Joy, J.M., Rajamani, S.K.: Programming asynchronous layers with clarity. In: FSE 2007, pp. 65\u201374. ACM Press, New York (2007)"},{"key":"20_CR2","first-page":"117","volume-title":"FSE 2006","author":"B.S. Gulavani","year":"2006","unstructured":"Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: synergy: A new algorithm for property checking. In: FSE 2006, pp. 117\u2013127. ACM Press, New York (2006)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/1180337.1180343","volume-title":"FMSE 2006","author":"P. Naldurg","year":"2006","unstructured":"Naldurg, P., Schwoon, S., Rajamani, S.K., Lambert, J.: netra: seeing through access control. In: FMSE 2006, pp. 55\u201366. ACM Press, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76637-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:23Z","timestamp":1619520983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76637-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540766360"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76637-7_20","relation":{},"subject":[]}}