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