« Vers une méthodologie de Validation et de Vérification formelle des Interfaces Utilisateurs. »
Résultat d’une consultation intra-gouvernementale sous la direction de la Primature