Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Abstraction Refinement for Quantified Array Assertions

Mohamed Nassim Seghir, Andreas Podelski, and Thomas Wies

Details

Publication typeInproceedings
Published inStatic Analysis Symposium (SAS 2009)
Pages3-18
Volume5673
SeriesLNCS
PublisherSpringer
> Publications > Abstraction Refinement for Quantified Array Assertions