Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro. A Scalable Formal Method for Design and Automatic Checking of User Interfaces. In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada. pages 453-462, IEEE Computer Society, 2001.
Abstract is missing.