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