TITLE     : Integrating model checking and HCI tools to help designers verify user interfaces properties
AUTHOR(S) : Paternò F., Santoro C.
TYPE      : Conference article
YEAR      : 2000
CODE      : 406717

*** DO NOT EDIT THIS FILE ***