Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.

Yamine At Ameur, Mickal Baron

Browse the full ISoLA paper archive.