@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/fix-sig-urls/P98-1073/", doi = "10.3115/980845.980920", pages = "438--443" }