Booster: An Acceleration-Based Verification Framework for Array Programs
Informazioni aggiuntive
Autori
Sharygina N.,
Alberti F.,
Ghilardi S.
Tipo
Contributo in atti di convegno
Anno
2014
Lingua
Inglese
Nome convegno
12th ATVA 2014
Luogo convegno
Sydney, NSW, Australia
Data convegno
November 3-7, 2014
