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]
@inproceedings{SeghirPW09,
title = {Abstraction Refinement for Quantified Array Assertions},
author = {Mohamed Nassim Seghir and Andreas Podelski and Thomas Wies},
year = {2009},
doi = {10.1007/978-3-642-03237-0_3},
url = {http://dx.doi.org/10.1007/978-3-642-03237-0_3},
tags = {refinement, abstraction},
researchr = {https://researchr.org/publication/SeghirPW09},
cites = {0},
citedby = {0},
pages = {3-18},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings},
editor = {Jens Palsberg and Zhendong Su},
volume = {5673},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03236-3},
}