A logic based approach to reverse engineering tools production

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. A logic based approach to reverse engineering tools production. In Proceedings of the Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 15-17 October 1991. pages 83-91, IEEE, 1991. [doi]

@inproceedings{CanforaCC91,
  title = {A logic based approach to reverse engineering tools production},
  author = {Gerardo Canfora and Aniello Cimitile and Ugo de Carlini},
  year = {1991},
  doi = {10.1109/ICSM.1991.160310},
  url = {https://doi.org/10.1109/ICSM.1991.160310},
  researchr = {https://researchr.org/publication/CanforaCC91},
  cites = {0},
  citedby = {0},
  pages = {83-91},
  booktitle = {Proceedings of the Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 15-17 October 1991},
  publisher = {IEEE},
  isbn = {0-8186-2325-X},
}