![](/img/cover-not-exists.png)
A scalable formal method for design and automatic checking of user interfaces
Berstel, Jean, Reghizzi, Stefano Crespi, Roussel, Gilles, Pietro, Pierluigi SanVolume:
14
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/1061254.1061256
Date:
April, 2005
File:
PDF, 1.66 MB
english, 2005