Function Summaries in Software Upgrade Checking

TitleFunction Summaries in Software Upgrade Checking
Publication TypeConference Paper
Year of Publication2011
AuthorsFedyukovich, Grigory, Sery O., and Sharygina Natasha
Conference NameHaifa Verification Conference (HVC)
PublisherSpringer
Conference LocationHaifa Verification Conference (HVC)
Full Text