par Massart, Thierry Cliquez pour télécharger la liste de publications de l'auteur
Référence IFIP transactions. Computer science and technology, 2, (page 281-296)
Publication Publié, 1992
Article révisé par les pairs
Titre :
  • A calculus to define correct transformations of lotos specifications
Auteur : Massart, Thierry
Informations sur la publication : IFIP transactions. Computer science and technology, 2, (page 281-296)
Statut de publication : Publié, 1992
Sujet CREF : Informatique mathématique
Langue :
  • Anglais
Identificateurs : urn:issn:0926-5473