Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies. Abstraction Refinement for Quantified Array Assertions. In Jens Palsberg, Zhendong Su, editors, Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Volume 5673 of Lecture Notes in Computer Science, pages 3-18, Springer, 2009. [doi]
Abstract is missing.