Kroening, D., & Strichman, O. (2008). Arrays. In Decision Procedures (pp. 171–179). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74105-3_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.