Lazy Abstraction with Interpolants for Arrays
Informazioni aggiuntive
Autori
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2012
Lingua
Inglese
Titolo atti di convegno
18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Editore
Springer
Luogo convegno
Méda, Venezuela
