Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique
Origine : Fichiers produits par l'(les) auteur(s)