An extension of lazy abstraction with interpolation for programs with arrays
Additional information
Authors
Sharygina N.,
Alberti F.,
Bruttomesso R.,
Tsitovich A.
Type
Journal Article
Year
2014
Language
English
Journal
Formal Methods in System Design
Pages (or article number)
63-109
