A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces.

Nadjet Kamel Sid-Ahmed Selouani Habib Hamam A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces. 39-45 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#KamelSH08