Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
Informazioni aggiuntive
Autori
Sery O.,
Fedyukovich G.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2012
Lingua
Inglese
Titolo atti di convegno
Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Luogo convegno
Cambridge, UK
