Interpolation-based Function Summaries in Bounded Model Checking
Informazioni aggiuntive
Autori
Sery O.,
Fedyukovich G.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2011
Lingua
Inglese
Titolo atti di convegno
Haifa Verification Conference (HVC)
Editore
Springer
Luogo convegno
Haifa, Israel
