Static analysis of Lyee requirements

Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui. Static analysis of Lyee requirements. Knowl.-Based Syst., 16(7-8):361-382, 2003. [doi]

@article{MejriKFE03,
  title = {Static analysis of Lyee requirements},
  author = {Mohamed Mejri and Béchir Ktari and Hamido Fujita and M. M. Erhioui},
  year = {2003},
  doi = {10.1016/j.knosys.2003.08.002},
  url = {http://dx.doi.org/10.1016/j.knosys.2003.08.002},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/MejriKFE03},
  cites = {0},
  citedby = {0},
  journal = {Knowl.-Based Syst.},
  volume = {16},
  number = {7-8},
  pages = {361-382},
}