Giulio Ballardin;Cristiano Macini;Fabio Paternò
-;-;-
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems