Journal Articles
ACM Transactions on Software Engineering and Methodology
Year : 2004
Jean Berstel : Connect in order to contact the contributor
https://hal.science/hal-00619460
Submitted on : Tuesday, September 6, 2011-2:41:03 PM
Last modification on : Friday, March 24, 2023-2:52:54 PM
Dates and versions
Identifiers
- HAL Id : hal-00619460 , version 1
Cite
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⟩
49
View
0
Download