@inproceedings{gargouri-etal-1998-vers-lutilisation,
    title = "Vers l`utilisation des m{\'e}thodes formelles pour le d{\'e}veloppement de linguiciels",
    author = "Gargouri, Bilel  and
      Jmaiel, Mohamed  and
      Ben Hamadou, Abdelmajid",
    booktitle = "36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, Volume 1",
    month = aug,
    year = "1998",
    address = "Montreal, Quebec, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/P98-1073/",
    doi = "10.3115/980845.980920",
    pages = "438--443"
}