Article Dans Une Revue ACM Transactions on Software Engineering and Methodology Année : 2004

A Scalable Formal Method for Design and Automatic Checking of User Interfaces

Stefano Crespi Reghizzi
  • Fonction : Auteur
Pierluigi San Pietro
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-00619460 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619460 , version 1

Citer

Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel. A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ACM Transactions on Software Engineering and Methodology, 2004, 14 (2), pp.124-167. ⟨hal-00619460⟩
129 Consultations
0 Téléchargements

Partager

  • More