@article{Ponomarenko_2012,
  author = {Ponomarenko, A. and Rubanov, V.},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  journal = {Programming and Computer Software},
  month = sep,
  number = {5},
  pages = {257--267},
  publisher = {Pleiades Publishing Ltd},
  title = {Backward compatibility of software interfaces: Steps towards automatic verification},
  volume = {38},
  year = {2012},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdcGFwZXJzL3Bvbm9tYXJlbmtvXzIwMTItYS5wZGZPEQF+AAAAAAF+AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8WcG9ub21hcmVua29fMjAxMi1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACADwvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOnBvbm9tYXJlbmtvXzIwMTItYS5wZGYADgAuABYAcABvAG4AbwBtAGEAcgBlAG4AawBvAF8AMgAwADEAMgAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADpVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9wb25vbWFyZW5rb18yMDEyLWEucGRmABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEQAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABxg==},
  bdsk-url-1 = {https://doi.org/10.1134%2Fs0361768812050052},
  bdsk-url-2 = {https://doi.org/10.1134/s0361768812050052}
}