L utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état

Henri Habrias. L utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. In Actes du XIVème Congrès INFORSID, Bordeaux, France, 4-7 juin, 1996. pages 79-98, 1996.

@inproceedings{Habrias96,
  title = {L utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état},
  author = {Henri Habrias},
  year = {1996},
  researchr = {https://researchr.org/publication/Habrias96},
  cites = {0},
  citedby = {0},
  pages = {79-98},
  booktitle = {Actes du XIVème Congrès INFORSID, Bordeaux, France, 4-7 juin, 1996},
}