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