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]

@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},
}