Abstraction Refinement for Quantified Array Assertions

In  Static Analysis Symposium (SAS 2009)

Publisher  Springer

Details

TypeInproceedings
Pages3-18
Volume5673
SeriesLNCS
> Publications > Abstraction Refinement for Quantified Array Assertions