eVolCheck: Incremental Upgrade Checker for C
Additional information
Authors
Fedyukovich G.,
Sery O.,
Sharygina N.
Type
Article in conference proceedings
Year
2013
Language
English
Conference proceedings
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher
Springer
