Abstraction Refinement for Quantified Array Assertions

M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
Seghir,Mohamed Nassim; Podelski,Andreas; Wies, ThomasIST Austria
Series Title
LNCS 5673
Publishing Year
Date Published
2009-01-01
Page
3 - 18
Conference
SAS: Static Analysis Symposium
IST-REx-ID

Cite this

Seghir M, Podelski A, Wies T. Abstraction Refinement for Quantified Array Assertions. In: Springer; 2009:3-18. doi:1556
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction Refinement for Quantified Array Assertions (pp. 3–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1556
Seghir, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions,” 3–18. Springer, 2009. https://doi.org/1556.
M. Seghir, A. Podelski, and T. Wies, “Abstraction Refinement for Quantified Array Assertions,” presented at the SAS: Static Analysis Symposium, 2009, pp. 3–18.
Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.
Seghir, Mohamed, et al. Abstraction Refinement for Quantified Array Assertions. Springer, 2009, pp. 3–18, doi:1556.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar