Lazy Abstraction with Interpolants for Arrays
Additional information
Authors
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N.
Type
Article in conference proceedings
Year
2012
Language
English
Conference proceedings
18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Publisher
Springer
Meeting place
Méda, Venezuela
