A Scalable Formal Method for Design and Automatic Checking of User Interfaces.

Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro

Browse the full ICSE paper archive.