Flexible SAT-based framework for incremental bounded upgrade checking
Additional information
Authors
Sharygina N.,
Fedyukovich G.,
Sery O.
Type
Journal Article
Year
2017
Language
English
Journal
International Journal on Software Tools for Technology Transfer
Pages (or article number)
517-534
