Boolean Heaps
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Podelski,Andreas;
Wies, ThomasISTA
Series Title
LNCS 3672
Publishing Year
Date Published
2005-01-01
Publisher
Springer
Page
267 - 282
Conference
SAS: Static Analysis Symposium
IST-REx-ID
Cite this
Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550
Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550
Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. https://doi.org/1550.
A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.
Podelski, Andreas, and Thomas Wies. Boolean Heaps. Springer, 2005, pp. 267–82, doi:1550.
Google Scholar