Using formal models to cross check an implementation - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2016

Using formal models to cross check an implementation

Raquel Oliveira
Sophie Dupuy-Chessa
  • Fonction : Auteur
  • PersonId : 1015083
Gaëlle Calvary
Fichier non déposé

Dates et versions

hal-04791037 , version 1 (19-11-2024)

Identifiants

  • HAL Id : hal-04791037 , version 1

Citer

Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Using formal models to cross check an implementation. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), Feb 2016, New York, United States. ⟨hal-04791037⟩
2 Consultations
0 Téléchargements

Partager

More