Boolean Heaps

A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
;
Series Title
LNCS 3672
Publishing Year
Date Published
2005-01-01
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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar