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