Abstraction Refinement of Linear Programs with Arrays

@inproceedings{Armando2007AbstractionRO,
  title={Abstraction Refinement of Linear Programs with Arrays},
  author={Alessandro Armando and Massimo Benerecetti and Jacopo Mantovani},
  booktitle={TACAS},
  year={2007}
}
ion Refinement of Linear Programs