Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Hi-index | 0.00 |