Function Summaries in Software Upgrade Checking
Additional information
Authors
Fedyukovich G.,
Sery O.,
Sharygina N.
Type
Conference proceedings
Year
2011
Language
English
Publisher
Springer
Meeting place
Haifa, Israel
