@inproceedings{gargouri-etal-1998-vers,
    title = "Vers l{'}utilisation des methodes formelles pour le developpement de linguiciels",
    author = "Gargouri, Bilel  and
      Jmaiel, Mohamed  and
      Ben Hamadou, Abdelmajid",
    booktitle = "{COLING} 1998 Volume 1: The 17th International Conference on Computational Linguistics",
    year = "1998",
    url = "https://preview.aclanthology.org/fix-sig-urls/C98-1070/"
}