SMT-based verification of program changes through summary repair
Informazioni aggiuntive
Autori
Sharygina N.,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2022
Lingua
Inglese
Periodico
Formal Methods in System Design
Pagine (o numero dell’articolo)
350-380
