par Massart, Thierry Cliquez pour télécharger la liste de publications de l'auteur
Référence Actes du CFIP'91 Ingénierie des Protocoles, (page 465-478)
Publication Publié, 1991
Publication dans des actes
Titre :
  • Un calcul algébrique pour définir des raffinements corrects de spécifications lotos
Auteur : Massart, Thierry
Statut de publication : Publié, 1991
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • Actes du CFIP'91 Ingénierie des Protocoles, Hermès, page 465-478
Langue :
  • Français