Communication Dans Un Congrès Année : 2001

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-00619889 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619889 , 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. International Conference on Software Engineering (ICSE'01), May 2001, Canada. pp.453-462. ⟨hal-00619889⟩
114 Consultations
0 Téléchargements

Partager

  • More