Using Automated Reasoning Techniques to Determine Software Reuse

Jun-Jang Jeng, Betty H. C. Cheng. Using Automated Reasoning Techniques to Determine Software Reuse. International Journal of Software Engineering and Knowledge Engineering, 2(4):523-546, 1992. [doi]

@article{JengC92,
  title = {Using Automated Reasoning Techniques to Determine Software Reuse},
  author = {Jun-Jang Jeng and Betty H. C. Cheng},
  year = {1992},
  doi = {10.1142/S0218194092000245},
  url = {http://dx.doi.org/10.1142/S0218194092000245},
  tags = {reuse, C++},
  researchr = {https://researchr.org/publication/JengC92},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {2},
  number = {4},
  pages = {523-546},
}