par Massart, Thierry
Référence Actes du CFIP'91 Ingénierie des Protocoles, Hermès, Paris, 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
Informations sur la publication:Actes du CFIP'91 Ingénierie des Protocoles, Hermès, Paris, page (465-478)
Statut de publication:Publié, 1991
Sujet CREF:Informatique mathématique
Langue:Français