Nadjet Kamel Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. 219-222 2004 IHM http://doi.acm.org/10.1145/1148613.1148651 conf/ihm/2004 db/conf/ihm/ihm2004.html#Kamel04