{"alternative_title":["LNCS 5673"],"month":"01","publisher":"Springer","type":"conference","publist_id":"1094","year":"2009","author":[{"first_name":"Mohamed","last_name":"Seghir","full_name":"Seghir,Mohamed Nassim"},{"full_name":"Podelski,Andreas","last_name":"Podelski","first_name":"Andreas"},{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Wies","full_name":"Thomas Wies"}],"doi":"1556","page":"3 - 18","extern":1,"day":"01","publication_status":"published","_id":"4365","date_created":"2018-12-11T12:08:29Z","citation":{"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>","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>.","ista":"Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.","short":"M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.","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>.","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.","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>"},"title":"Abstraction Refinement for Quantified Array Assertions","quality_controlled":0,"date_updated":"2021-01-12T07:56:26Z","date_published":"2009-01-01T00:00:00Z","status":"public","conference":{"name":"SAS: Static Analysis Symposium"}}