Assistance in the Reuse of Formal Specifications

Samira Sadaoui. Assistance in the Reuse of Formal Specifications. I. J. Comput. Appl., 11(4):234-245, 2004.

@article{Sadaoui04,
  title = {Assistance in the Reuse of Formal Specifications},
  author = {Samira Sadaoui},
  year = {2004},
  tags = {reuse},
  researchr = {https://researchr.org/publication/Sadaoui04},
  cites = {0},
  citedby = {0},
  journal = {I. J. Comput. Appl.},
  volume = {11},
  number = {4},
  pages = {234-245},
}