{"year":"2007","author":[{"last_name":"Berdine","first_name":"Josh","full_name":"Berdine,Josh"},{"full_name":"Calcagno,Cristiano","last_name":"Calcagno","first_name":"Cristiano"},{"first_name":"Byron","last_name":"Cook","full_name":"Cook,Byron"},{"first_name":"Dino","last_name":"Distefano","full_name":"Distefano,Dino"},{"full_name":"O'Hearn,Peter W.","first_name":"Peter","last_name":"O'Hearn"},{"full_name":"Thomas Wies","first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies"},{"full_name":"Yang,Hongseok","first_name":"Hongseok","last_name":"Yang"}],"doi":"1553","page":"178 - 192","alternative_title":["LNCS 4590"],"type":"conference","month":"01","publisher":"Springer","publist_id":"1058","date_created":"2018-12-11T12:08:39Z","title":"Shape Analysis for Composite Data Structures","quality_controlled":0,"citation":{"ama":"Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:<a href=\"https://doi.org/1553\">1553</a>","ieee":"J. Berdine <i>et al.</i>, “Shape Analysis for Composite Data Structures,” presented at the CAV: Computer Aided Verification, 2007, pp. 178–192.","mla":"Berdine, Josh, et al. <i>Shape Analysis for Composite Data Structures</i>. Springer, 2007, pp. 178–92, doi:<a href=\"https://doi.org/1553\">1553</a>.","short":"J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.","ista":"Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.","apa":"Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., &#38; Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/1553\">https://doi.org/1553</a>","chicago":"Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,” 178–92. Springer, 2007. <a href=\"https://doi.org/1553\">https://doi.org/1553</a>."},"date_published":"2007-01-01T00:00:00Z","date_updated":"2021-01-12T07:56:40Z","status":"public","conference":{"name":"CAV: Computer Aided Verification"},"extern":1,"day":"01","publication_status":"published","_id":"4398"}