eVolCheck: Incremental Upgrade Checker for C

TitleeVolCheck: Incremental Upgrade Checker for C
Publication TypeConference Paper
Year of Publication2013
AuthorsFedyukovich, Grigory, Sery O., and Sharygina Natasha
Conference Name19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PublisherSpringer
Full Text