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]
@article{PonomarenkoR12, title = {Backward compatibility of software interfaces: Steps towards automatic verification}, author = {Andrey V. Ponomarenko and Vladimir V. Rubanov}, year = {2012}, doi = {10.1134/S0361768812050052}, url = {http://dx.doi.org/10.1134/S0361768812050052}, researchr = {https://researchr.org/publication/PonomarenkoR12}, cites = {0}, citedby = {0}, journal = {Programming and Computer Software}, volume = {38}, number = {5}, pages = {257-267}, }