Yamine Aït Ameur, Mickaël Baron. Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 74-80, Department of Computer Science, University of Cyprus, 2004.
Abstract is missing.