{"title":"Abstraction Refinement for Quantified Array Assertions","alternative_title":["LNCS 5673"],"date_updated":"2021-01-12T07:56:26Z","conference":{"name":"SAS: Static Analysis Symposium"},"doi":"1556","status":"public","date_published":"2009-01-01T00:00:00Z","page":"3 - 18","publist_id":"1094","publication_status":"published","quality_controlled":0,"extern":1,"date_created":"2018-12-11T12:08:29Z","year":"2009","publisher":"Springer","author":[{"full_name":"Seghir,Mohamed Nassim","first_name":"Mohamed","last_name":"Seghir"},{"last_name":"Podelski","first_name":"Andreas","full_name":"Podelski,Andreas"},{"last_name":"Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","full_name":"Thomas Wies"}],"type":"conference","_id":"4365","day":"01","citation":{"mla":"Seghir, Mohamed, et al. <i>Abstraction Refinement for Quantified Array Assertions</i>. Springer, 2009, pp. 3–18, doi:<a href=\"https://doi.org/1556\">1556</a>.","short":"M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.","chicago":"Seghir, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions,” 3–18. Springer, 2009. <a href=\"https://doi.org/1556\">https://doi.org/1556</a>.","ama":"Seghir M, Podelski A, Wies T. Abstraction Refinement for Quantified Array Assertions. In: Springer; 2009:3-18. doi:<a href=\"https://doi.org/1556\">1556</a>","ieee":"M. Seghir, A. Podelski, and T. Wies, “Abstraction Refinement for Quantified Array Assertions,” presented at the SAS: Static Analysis Symposium, 2009, pp. 3–18.","ista":"Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.","apa":"Seghir, M., Podelski, A., &#38; Wies, T. (2009). Abstraction Refinement for Quantified Array Assertions (pp. 3–18). Presented at the SAS: Static Analysis Symposium, Springer. <a href=\"https://doi.org/1556\">https://doi.org/1556</a>"},"month":"01"}