J. Berstel, S. Crespi Reghizzi, G. Roussel, P. San Pietro A scalable formal method for Design and Automatic Checking of User Interfaces
ICSE 2001, Int. Conference on Software Engineering, Toronto, Ontario, Canada, May 12-19, 2001,
pp 453-462, IEEE Press, New York., 2001 Electronic version
A. Campi, E. Martinez, P. L. San Pietro Experiences with a Formal Method for Design and Automatic Checking of User Interfaces
Position paper in IUI/CADUI'2004 Workshop on Making Model-Based UI Design Practical: usable and
open methods and tools, Madeira, Portugal, 13th January, 2004 Electronic version
