TY - CONF AU - Seghir,Mohamed Nassim AU - Podelski,Andreas AU - Thomas Wies ID - 4365 TI - Abstraction Refinement for Quantified Array Assertions ER -