Communication Dans Un Congrès
Année : 2001
Jean Berstel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00619889
Soumis le : mardi 6 septembre 2011-22:22:00
Dernière modification le : lundi 11 mars 2024-12:04:04
Dates et versions
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⟩
63
Consultations
0
Téléchargements