Incremental Verification by SMT-based Summary Repair
Informazioni aggiuntive
Autori
Sharygina N.,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G.
Tipo
Contributo in atti di convegno
Anno
2020
Lingua
Inglese
Nome convegno
20th FMCAD 2020
Luogo convegno
Haifa, Israel
Data convegno
September 21-24, 2020
