%0 Journal Article %1 journals/pcs/PonomarenkoR12 %A Ponomarenko, Andrey V. %A Rubanov, Vladimir V. %D 2012 %J Programming and Computer Software %K dblp %N 5 %P 257-267 %T Backward compatibility of software interfaces: Steps towards automatic verification. %U http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#PonomarenkoR12 %V 38

@article{journals/pcs/PonomarenkoR12, added-at = {2012-09-28T00:00:00.000+0200}, author = {Ponomarenko, Andrey V. and Rubanov, Vladimir V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20e4888f29477680c1da642f53ef8cdbc/dblp}, ee = {http://dx.doi.org/10.1134/S0361768812050052}, interhash = {1776475d44e27fae8b2292432c4a6a7e}, intrahash = {0e4888f29477680c1da642f53ef8cdbc}, journal = {Programming and Computer Software}, keywords = {dblp}, number = 5, pages = {257-267}, timestamp = {2016-02-02T07:34:33.000+0100}, title = {Backward compatibility of software interfaces: Steps towards automatic verification.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#PonomarenkoR12}, volume = 38, year = 2012 }