@InProceedings{gargouri-hamadou-jmaiel:1998:ACLCOLING,
  author    = {Bilel Gargouri  and  Abdelmajid Ben Hamadou  and  Mohamed Jmaiel},
  title     = {Vers l'utilisation des methodes formelles pour le developpement de linguiciels},
  booktitle = {Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, Volume 1},
  month     = {August},
  year      = {1998},
  address   = {Montreal, Quebec, Canada},
  publisher = {Association for Computational Linguistics},
  pages     = {438--443},
  url       = {http://www.aclweb.org/anthology/P98-1073},
  doi       = {10.3115/980845.980920}
}