Abstraction and Acceleration in SMT-based Model-Checking for Array Programs
Informazioni aggiuntive
Autori
Alberti F.,
Sharygina N.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2013
Lingua
Inglese
Periodico
CoRR
Volume
abs/1304.4499
Pagine (o numero dell’articolo)
1-18
