Flexible SAT-based framework for incremental bounded upgrade checking
Informazioni aggiuntive
Autori
Sharygina N.,
Fedyukovich G.,
Sery O.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2017
Lingua
Inglese
Periodico
International Journal on Software Tools for Technology Transfer
Pagine (o numero dell’articolo)
517-534
