Backward compatibility of software interfaces: Steps towards automatic verification

Andrey V. Ponomarenko, Vladimir V. Rubanov. Backward compatibility of software interfaces: Steps towards automatic verification. Programming and Computer Software, 38(5):257-267, 2012. [doi]

Abstract

Abstract is missing.