Article Dans Une Revue
ACM Transactions on Software Engineering and Methodology
Année : 2004
Jean Berstel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00619460
Soumis le : mardi 6 septembre 2011-14:41:03
Dernière modification le : jeudi 28 mars 2024-03:26:58
Dates et versions
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⟩
52
Consultations
0
Téléchargements