{"alternative_title":["LNCS 3672"],"page":"267 - 282","citation":{"chicago":"Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. <a href=\"https://doi.org/1550\">https://doi.org/1550</a>.","mla":"Podelski, Andreas, and Thomas Wies. <i>Boolean Heaps</i>. Springer, 2005, pp. 267–82, doi:<a href=\"https://doi.org/1550\">1550</a>.","apa":"Podelski, A., &#38; Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. <a href=\"https://doi.org/1550\">https://doi.org/1550</a>","ieee":"A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.","ista":"Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.","ama":"Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:<a href=\"https://doi.org/1550\">1550</a>","short":"A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282."},"publist_id":"1092","author":[{"full_name":"Podelski,Andreas","last_name":"Podelski","first_name":"Andreas"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies","last_name":"Wies"}],"doi":"1550","_id":"4367","conference":{"name":"SAS: Static Analysis Symposium"},"date_updated":"2021-01-12T07:56:27Z","quality_controlled":0,"date_published":"2005-01-01T00:00:00Z","date_created":"2018-12-11T12:08:29Z","month":"01","day":"01","year":"2005","publisher":"Springer","type":"conference","publication_status":"published","extern":1,"title":"Boolean Heaps","status":"public"}